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