Symbol: mach_cpu_stop
usr/src/uts/i86pc/os/mp_pc.c
629
rv = mach_cpu_stop(cp, ctx);
usr/src/uts/i86pc/sys/machsystm.h
77
extern int mach_cpu_stop(cpu_t *, void *);