HelenOS sources

ICP_KBD_IRQ       327 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	pl050_instance_t *pl050_instance = pl050_init(pl050, ICP_KBD_IRQ);
ICP_KBD_IRQ       331 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 			icp_irqc_mask(ICP_KBD_IRQ);
ICP_KBD_IRQ       335 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 			icp_irqc_unmask(ICP_KBD_IRQ);
ICP_KBD_IRQ       344 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	sysinfo_set_item_val("kbd.inr", NULL, ICP_KBD_IRQ);