HelenOS sources

timer_start       168 kernel/arch/arm64/src/interrupt.c 	timer_start();
timer_start       137 kernel/arch/mips32/src/interrupt.c 	timer_start();