gta02_timer_start 77 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_timer_start(void); gta02_timer_start 116 kernel/arch/arm32/src/mach/gta02/gta02.c gta02_timer_start();