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