gta02_cpu_halt 67 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_cpu_halt(void); gta02_cpu_halt 90 kernel/arch/arm32/src/mach/gta02/gta02.c gta02_cpu_halt,