HelenOS sources

spinlock_locked    81 kernel/genarch/src/mm/asid.c 	assert(spinlock_locked(&asidlock));
spinlock_locked   125 kernel/generic/include/synch/spinlock.h extern bool spinlock_locked(spinlock_t *);
spinlock_locked   714 kernel/generic/src/ipc/ipc.c 	assert(spinlock_locked(&TASK->active_calls_lock));
spinlock_locked   715 kernel/generic/src/ipc/ipc.c 	assert(spinlock_locked(&call->forget_lock));
spinlock_locked   262 kernel/generic/src/synch/irq_spinlock.c 	return owned_by_me(lock) && spinlock_locked(&lock->lock);
spinlock_locked   130 kernel/generic/src/synch/spinlock.c 	ASSERT_SPINLOCK(spinlock_locked(lock), lock);