Symbol: drmach_cpu_disconnect
usr/src/uts/i86pc/io/acpi/drmach_acpi/drmach_acpi.c
2516
drmach_cpu_disconnect(drmachid_t id)
usr/src/uts/sun4u/opl/io/drmach.c
1942
drmach_cpu_disconnect(drmachid_t id)