_cpu_down         314 kernel/cpu.c   	err = _cpu_down(cpu, 0);
_cpu_down         411 kernel/cpu.c   		error = _cpu_down(cpu, 1);