cpu_unconfigure
int cpu_unconfigure(int);
} else if ((rv = cpu_unconfigure(cpuid)) != 0) {
if ((rv = cpu_unconfigure(cpuid)) != 0) {
} else if ((rv = cpu_unconfigure(cpuid)) != 0) {
error = cpu_unconfigure(cpua->cpu_id);
error = cpu_unconfigure(cpub->cpu_id);
if ((rv = cpu_unconfigure(cpuid)) != 0) {