HelenOS sources

IRQ_SPINLOCK_STATIC_INITIALIZE_NAME   66 kernel/arch/arm32/src/atomic.c IRQ_SPINLOCK_STATIC_INITIALIZE_NAME(cas_lock, "arm-cas-lock");
IRQ_SPINLOCK_STATIC_INITIALIZE_NAME  195 kernel/generic/include/synch/spinlock.h 	IRQ_SPINLOCK_STATIC_INITIALIZE_NAME(lock_name, #lock_name)
IRQ_SPINLOCK_STATIC_INITIALIZE_NAME   48 kernel/generic/src/mm/reserve.c IRQ_SPINLOCK_STATIC_INITIALIZE_NAME(reserve_lock, "reserve_lock");