HelenOS sources

IRQ_SPINLOCK_EXTERN  131 kernel/generic/include/ddi/irq.h IRQ_SPINLOCK_EXTERN(irq_uspace_hash_table_lock);
IRQ_SPINLOCK_EXTERN   59 kernel/generic/include/interrupt.h IRQ_SPINLOCK_EXTERN(exctbl_lock);
IRQ_SPINLOCK_EXTERN  139 kernel/generic/include/proc/task.h IRQ_SPINLOCK_EXTERN(tasks_lock);
IRQ_SPINLOCK_EXTERN  211 kernel/generic/include/proc/thread.h IRQ_SPINLOCK_EXTERN(threads_lock);