HelenOS sources

ASSERT_SPINLOCK   171 kernel/generic/include/synch/spinlock.h 	ASSERT_SPINLOCK(expr, &((irq_lock)->lock))
ASSERT_SPINLOCK   130 kernel/generic/src/synch/spinlock.c 	ASSERT_SPINLOCK(spinlock_locked(lock), lock);