HelenOS sources

icp_timer_irq_start  102 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern void icp_timer_irq_start(void);
icp_timer_irq_start   68 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_timer_irq_start,