topology_hotplug_apic
extern int topology_hotplug_apic(u32 apic_id, u32 acpi_id);
int cpu = topology_hotplug_apic(physid, acpi_id);