irq_init           71 sys/include/irq.h void	 irq_init(void);
irq_init           97 sys/kern/main.c 	irq_init();