cpu_enabled
KASSERT(cpu >= 0 && cpu <= mp_maxid && cpu_enabled(cpu),
KASSERT(oldcpu >= 0 && oldcpu <= mp_maxid && cpu_enabled(oldcpu),
if (cpu > mp_maxid || !cpu_enabled(cpu)) {
if (cpu > mp_maxid || !cpu_enabled(cpu)) {
if (cpu_enabled(cpu))