irq_initialize_arch 71 kernel/generic/include/interrupt.h extern void irq_initialize_arch(irq_t *); irq_initialize_arch 118 kernel/generic/src/ddi/irq.c irq_initialize_arch(irq);