HelenOS sources

IRQ_SPINLOCK_INITIALIZER  186 kernel/generic/include/synch/spinlock.h 	irq_spinlock_t lock_name = IRQ_SPINLOCK_INITIALIZER(desc_name)
IRQ_SPINLOCK_INITIALIZER  189 kernel/generic/include/synch/spinlock.h 	static irq_spinlock_t lock_name = IRQ_SPINLOCK_INITIALIZER(desc_name)
IRQ_SPINLOCK_INITIALIZER  101 kernel/generic/src/synch/irq_spinlock.c 	*lock = (irq_spinlock_t) IRQ_SPINLOCK_INITIALIZER(name);