Symbol: dr_cpu_deprobe
usr/src/uts/sun4v/io/dr_cpu.c
1231
if ((rv = dr_cpu_deprobe(cpuid)) != 0) {
usr/src/uts/sun4v/io/dr_cpu.c
153
static int dr_cpu_deprobe(processorid_t cpuid);