HelenOS sources

owned_by_me        55 kernel/generic/src/synch/irq_spinlock.c 	return !owned_by_me(lock);
owned_by_me       145 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(lock), lock);
owned_by_me       199 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(unlock), unlock);
owned_by_me       236 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(unlock), unlock);
owned_by_me       262 kernel/generic/src/synch/irq_spinlock.c 	return owned_by_me(lock) && spinlock_locked(&lock->lock);