HelenOS sources
IRQ_SPINLOCK_INITIALIZE 69 kernel/generic/src/ddi/irq.c IRQ_SPINLOCK_INITIALIZE(irq_uspace_hash_table_lock);
IRQ_SPINLOCK_INITIALIZE 68 kernel/generic/src/interrupt/interrupt.c IRQ_SPINLOCK_INITIALIZE(exctbl_lock);
IRQ_SPINLOCK_INITIALIZE 74 kernel/generic/src/mm/frame.c static IRQ_SPINLOCK_INITIALIZE(mem_avail_lock);
IRQ_SPINLOCK_INITIALIZE 63 kernel/generic/src/proc/task.c IRQ_SPINLOCK_INITIALIZE(tasks_lock);
IRQ_SPINLOCK_INITIALIZE 87 kernel/generic/src/proc/thread.c IRQ_SPINLOCK_INITIALIZE(threads_lock);
HelenOS homepage, sources at GitHub