LAPIC_READID
bsp_apic_id = LAPIC_READID;
cpu_id = APICID_TO_CPUID(LAPIC_READID);
cpu_id, LAPIC_READID);
bsp_apicid = LAPIC_READID;
kprintf("lapic id = %u\n", LAPIC_READID);
kprintf("lapic id = %u\n", LAPIC_READID);