HelenOS sources

bbxm_timer_irq_start   49 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_timer_irq_start(void);
bbxm_timer_irq_start   70 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_timer_irq_start = bbxm_timer_irq_start,