interrupt_init 127 sys/include/hal.h void interrupt_init(void); interrupt_init 258 sys/kern/irq.c interrupt_init();