timer_start 109 kernel/arch/arm64/src/interrupt.c static void timer_start(void) timer_start 105 kernel/arch/mips32/src/interrupt.c static void timer_start(void)