ipc_irq_top_half_claim 52 kernel/generic/include/ipc/irq.h extern irq_ownership_t ipc_irq_top_half_claim(irq_t *); ipc_irq_top_half_claim 367 kernel/generic/src/ipc/irq.c irq->claim = ipc_irq_top_half_claim;