Symbol: mach_cpu_halt
usr/src/uts/i86pc/os/machdep.c
413
xc_priority(0, 0, 0, CPUSET2BV(xcset), mach_cpu_halt);
usr/src/uts/i86pc/sys/machsystm.h
74
extern int mach_cpu_halt(xc_arg_t, xc_arg_t, xc_arg_t);