bbone_cpu_halt 56 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c static void bbone_cpu_halt(void); bbone_cpu_halt 77 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c .machine_cpu_halt = bbone_cpu_halt,