irq_t              66 bsp/drv/arm/gba/keypad.c 	irq_t		irq;
irq_t              84 bsp/drv/arm/gba/swkbd.c 	irq_t		irq;		/* irq handle */
irq_t             107 bsp/drv/dev/block/fdd.c 	irq_t		irq;		/* interrupt handle */
irq_t              46 bsp/drv/dev/input/pckbd.c 	irq_t		irq;		/* irq handle */
irq_t              60 bsp/drv/dev/input/psaux.c 	irq_t		irq;		/* handle for mouse irq */
irq_t             126 bsp/drv/include/dki.h irq_t	 irq_attach(int, int, int, int (*)(void *), void (*)(void *), void *);
irq_t             127 bsp/drv/include/dki.h void	 irq_detach(irq_t);
irq_t              37 bsp/drv/include/serial.h 	irq_t		irq;
irq_t              90 bsp/hal/arm/gba/clock.c 	irq_t clock_irq;
irq_t              89 bsp/hal/arm/integrator/clock.c 	irq_t clock_irq;
irq_t              76 bsp/hal/x86/pc/clock.c 	irq_t clock_irq;
irq_t              67 sys/include/irq.h irq_t	 irq_attach(int, int, int, int (*)(void *), void (*)(void *), void *);
irq_t              68 sys/include/irq.h void	 irq_detach(irq_t);
irq_t              81 sys/kern/irq.c irq_t
irq_t             127 sys/kern/irq.c irq_detach(irq_t irq)