HelenOS sources

not_owned_by_me   115 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);
not_owned_by_me   200 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);
not_owned_by_me   237 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);