read_apic_id
boot_cpu_physical_apicid = read_apic_id();
x2apic_id = read_apic_id();
u32 apic_id = read_apic_id();
apic_id = read_apic_id();
smp_processor_id(), read_apic_id());
pr_info("... APIC ID: %08x (%01x)\n", v, read_apic_id());
c->topo.apicid = read_apic_id();