topo_register_apic
topo_register_apic(apic_id, acpi_id, present);
topo_register_apic(apic_id, CPU_ACPIID_INVALID, true);