HelenOS sources

ICP_TIMER_IRQ     171 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_irqc_mask(ICP_TIMER_IRQ);
ICP_TIMER_IRQ     175 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_irqc_unmask(ICP_TIMER_IRQ);
ICP_TIMER_IRQ     209 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp.timer_irq.inr = ICP_TIMER_IRQ;