LAPIC2MSR
(x2apic_enable ? (uint32_t)LAPIC_MSR_READ(LAPIC2MSR(field)) \
LAPIC_MSR_WRITE(LAPIC2MSR(field), (val)); \