Symbol: mach_cpu_remove
usr/src/uts/i86pc/io/acpi/acpidev/acpidev_dr.c
2490
} else if (mach_cpu_remove(cpuid) != PSM_SUCCESS) {
usr/src/uts/i86pc/sys/machsystm.h
79
extern int mach_cpu_remove(processorid_t);