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   44 kernel/generic/include/synch/waitq.h 	.lock = IRQ_SPINLOCK_INITIALIZER(#name ".lock"), \
IRQ_SPINLOCK_INITIALIZER   67 kernel/generic/src/mm/frame.c 	.lock = IRQ_SPINLOCK_INITIALIZER("frame.zones.lock"),
IRQ_SPINLOCK_INITIALIZER  101 kernel/generic/src/synch/irq_spinlock.c 	*lock = (irq_spinlock_t) IRQ_SPINLOCK_INITIALIZER(name);
HelenOS homepage, sources at GitHub