HelenOS sources
IRQ_SPINLOCK_STATIC_INITIALIZE 48 kernel/arch/mips32/src/debugger.c IRQ_SPINLOCK_STATIC_INITIALIZE(bkpoint_lock);
IRQ_SPINLOCK_STATIC_INITIALIZE 74 kernel/genarch/src/mm/page_ht.c IRQ_SPINLOCK_STATIC_INITIALIZE(page_ht_lock);
IRQ_SPINLOCK_STATIC_INITIALIZE 59 kernel/generic/src/ddi/irq.c IRQ_SPINLOCK_STATIC_INITIALIZE(irq_kernel_hash_table_lock);
IRQ_SPINLOCK_STATIC_INITIALIZE 120 kernel/generic/src/mm/slab.c IRQ_SPINLOCK_STATIC_INITIALIZE(slab_cache_lock);
IRQ_SPINLOCK_STATIC_INITIALIZE 68 kernel/generic/src/mm/tlb.c IRQ_SPINLOCK_STATIC_INITIALIZE(tlblock);
IRQ_SPINLOCK_STATIC_INITIALIZE 102 kernel/generic/src/proc/thread.c IRQ_SPINLOCK_STATIC_INITIALIZE(tidlock);
HelenOS homepage, sources at GitHub