HelenOS sources

uspace_ptr_cap_irq_handle_t   56 kernel/generic/include/ipc/irq.h     uspace_ptr_cap_irq_handle_t);
uspace_ptr_cap_irq_handle_t   60 kernel/generic/include/ipc/sysipc.h     uspace_ptr_cap_irq_handle_t);
uspace_ptr_cap_irq_handle_t  325 kernel/generic/src/ipc/irq.c     uspace_ptr_irq_code_t ucode, uspace_ptr_cap_irq_handle_t uspace_handle)
uspace_ptr_cap_irq_handle_t  890 kernel/generic/src/ipc/sysipc.c     uspace_ptr_irq_code_t ucode, uspace_ptr_cap_irq_handle_t uspace_handle)