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