apix_is_cpu_enabled
if (!apix_is_cpu_enabled(newcpu))
if (apix_is_cpu_enabled(vecp->v_cpuid)) {
static boolean_t apix_is_cpu_enabled(processorid_t);
if (!apix_is_cpu_enabled(n))