Symbol: mach_cpu_halt