Symbol: mach_cpu_halt
usr/src/uts/i86pc/os/mp_pc.c
424
mach_cpu_halt(xc_arg_t arg1, xc_arg_t arg2 __unused, xc_arg_t arg3 __unused)
usr/src/uts/i86xpv/os/mp_xen.c
522
mach_cpu_halt(xc_arg_t arg1, xc_arg_t arg2 __unused, xc_arg_t arg3 __unused)