HelenOS sources

ASSERT_IRQ_SPINLOCK  115 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);
ASSERT_IRQ_SPINLOCK  124 kernel/generic/src/synch/irq_spinlock.c 		ASSERT_IRQ_SPINLOCK(interrupts_disabled(), lock);
ASSERT_IRQ_SPINLOCK  127 kernel/generic/src/synch/irq_spinlock.c 		ASSERT_IRQ_SPINLOCK(!lock->guard, lock);
ASSERT_IRQ_SPINLOCK  144 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(interrupts_disabled(), lock);
ASSERT_IRQ_SPINLOCK  145 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(lock), lock);
ASSERT_IRQ_SPINLOCK  150 kernel/generic/src/synch/irq_spinlock.c 		ASSERT_IRQ_SPINLOCK(lock->guard, lock);
ASSERT_IRQ_SPINLOCK  158 kernel/generic/src/synch/irq_spinlock.c 		ASSERT_IRQ_SPINLOCK(!lock->guard, lock);
ASSERT_IRQ_SPINLOCK  176 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(interrupts_disabled(), lock);
ASSERT_IRQ_SPINLOCK  181 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK((!ret) || (!lock->guard), lock);
ASSERT_IRQ_SPINLOCK  198 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(interrupts_disabled(), unlock);
ASSERT_IRQ_SPINLOCK  199 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(unlock), unlock);
ASSERT_IRQ_SPINLOCK  200 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);
ASSERT_IRQ_SPINLOCK  214 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(!lock->guard, lock);
ASSERT_IRQ_SPINLOCK  235 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(interrupts_disabled(), unlock);
ASSERT_IRQ_SPINLOCK  236 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(owned_by_me(unlock), unlock);
ASSERT_IRQ_SPINLOCK  237 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(not_owned_by_me(lock), lock);
ASSERT_IRQ_SPINLOCK  240 kernel/generic/src/synch/irq_spinlock.c 	ASSERT_IRQ_SPINLOCK(!lock->guard, lock);