HelenOS sources

machine_timer_irq_start   50 kernel/arch/arm32/include/arch/machine_func.h 	void (*machine_timer_irq_start)(void);
machine_timer_irq_start   71 kernel/arch/arm32/include/arch/machine_func.h extern void machine_timer_irq_start(void);
machine_timer_irq_start  108 kernel/arch/arm32/src/interrupt.c 	machine_timer_irq_start();
machine_timer_irq_start   70 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_timer_irq_start = bbxm_timer_irq_start,
machine_timer_irq_start   76 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_timer_irq_start = bbone_timer_irq_start,
machine_timer_irq_start   77 kernel/arch/arm32/src/machine_func.c 	(machine_ops->machine_timer_irq_start)();