MSR_X2APIC_BASE
return rdmsr(MSR_X2APIC_BASE + (reg >> 4));
wrmsr(MSR_X2APIC_BASE + (reg >> 4), val);
u_int32_t msr = MSR_X2APIC_BASE + (LAPIC_ICRLO >> 4);
#define MSR_X2APIC_EOI (MSR_X2APIC_BASE+0x0b) /* End Int. W */
#define MSR_X2APIC_ID (MSR_X2APIC_BASE+0x02) /* ID. RW */