HelenOS sources

abi/include/abi/ddi/irq.h
kernel/generic/include/ddi/irq.h
kernel/generic/include/ipc/irq.h
uspace/lib/c/include/ipc/irq.h
uspace/lib/posix/include/libc/ipc/irq.h
HelenOS homepage, sources at GitHub