HelenOS sources

icp_irqc_unmask   175 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_irqc_unmask(ICP_TIMER_IRQ);
icp_irqc_unmask   335 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 			icp_irqc_unmask(ICP_KBD_IRQ);
icp_irqc_unmask   353 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 		icp_irqc_unmask(ICP_UART0_IRQ);