cpu_add
cpup = cpu_add(cpu->ApicId, domain);
cpup = cpu_add(x2apic->ApicId, x2apic->ProximityDomain);
cpup = cpu_add(gicc->AcpiProcessorUid, gicc->ProximityDomain);
void cpu_add(u_int apic_id, char boot_cpu);
cpu_add(apic_id, boot_cpu);