ipc_irq_top_half_handler 53 kernel/generic/include/ipc/irq.h extern void ipc_irq_top_half_handler(irq_t *); ipc_irq_top_half_handler 368 kernel/generic/src/ipc/irq.c irq->handler = ipc_irq_top_half_handler;