machine_cpu_halt 81 kernel/arch/arm32/src/machine_func.c void machine_cpu_halt(void) machine_cpu_halt 69 kernel/arch/mips32/src/machine_func.c void machine_cpu_halt(void)