HelenOS sources

IRQ_KBD           204 kernel/arch/amd64/src/amd64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
IRQ_KBD           211 kernel/arch/amd64/src/amd64.c 			pic_ops->enable_irqs(1 << IRQ_KBD);
IRQ_KBD           191 kernel/arch/ia32/src/ia32.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
IRQ_KBD           198 kernel/arch/ia32/src/ia32.c 			pic_ops->enable_irqs(1 << IRQ_KBD);
IRQ_KBD           204 kernel/arch/ia64/src/ia64.c 	    IRQ_KBD);