irq_detach        127 bsp/drv/include/dki.h void	 irq_detach(irq_t);
irq_detach         68 sys/include/irq.h void	 irq_detach(irq_t);
irq_detach         84 sys/kern/device.c 	/* 10 */ DKIENT(irq_detach),