HelenOS sources

ASSERT_SPINLOCK   108 kernel/generic/include/synch/spinlock.h #define ASSERT_SPINLOCK(expr, lock) assert_verbose(expr, (lock)->name)
ASSERT_SPINLOCK   110 kernel/generic/include/synch/spinlock.h #define ASSERT_SPINLOCK(expr, lock) assert(expr)