APIC_EOI_ACK
wrmsrq(HV_X64_MSR_EOI, APIC_EOI_ACK);
native_apic_mem_write(APIC_EOI, APIC_EOI_ACK);
native_wrmsrq(APIC_BASE_MSR + (APIC_EOI >> 4), APIC_EOI_ACK);