HelenOS sources

sys_ipc_irq_subscribe   59 kernel/generic/include/ipc/sysipc.h extern sys_errno_t sys_ipc_irq_subscribe(inr_t, sysarg_t, uspace_ptr_irq_code_t,
sys_ipc_irq_subscribe  121 kernel/generic/src/syscall/syscall.c 	[SYS_IPC_IRQ_SUBSCRIBE] = (syshandler_t) sys_ipc_irq_subscribe,
HelenOS homepage, sources at GitHub