cpu_configure
int cpu_configure(int);
} else if ((rv = cpu_configure(cpuid)) != 0) {
} else if ((rv = cpu_configure(cpuid)) != 0) {
} else if ((rv = cpu_configure(cpuid)) != 0) {
return (cpu_configure(cpuid));
if ((rv = cpu_configure(cpuid)) != 0) {