LAPIC_MSR_WRITE
LAPIC_MSR_WRITE(MSR_X2APIC_EOI, 0);
LAPIC_MSR_WRITE(MSR_X2APIC_ICR,
LAPIC_MSR_WRITE(MSR_X2APIC_ICR_TIMER, (uint32_t)reload);
LAPIC_MSR_WRITE(MSR_X2APIC_ICR_TIMER, (uint32_t)reload);
LAPIC_MSR_WRITE(LAPIC2MSR(field), (val)); \