APIC_CPU_FREE
apic_cpus[i].aci_status = APIC_CPU_FREE | APIC_CPU_DIRTY;
apic_cpus[i].aci_status = APIC_CPU_FREE;
apic_cpus[i].aci_status = APIC_CPU_FREE;
if ((apic_cpus[i].aci_status & APIC_CPU_FREE) &&
if (apic_cpus[i].aci_status & APIC_CPU_FREE) {
ASSERT((apic_cpus[cpuid].aci_status & APIC_CPU_FREE) == 0);
apic_cpus[cpuid].aci_status = APIC_CPU_FREE | APIC_CPU_DIRTY;
ASSERT((apic_cpus[i].aci_status & APIC_CPU_FREE) == 0);
ASSERT(apic_cpus[i].aci_status & APIC_CPU_FREE);