HV_X64_MSR_EOI
wrmsrq(HV_X64_MSR_EOI, APIC_EOI_ACK);
rdmsr(HV_X64_MSR_EOI, reg_val, hi);
wrmsrq(HV_X64_MSR_EOI, val);
case HV_X64_MSR_EOI:
case HV_X64_MSR_EOI:
case HV_X64_MSR_EOI:
msr->idx = HV_X64_MSR_EOI;
msr->idx = HV_X64_MSR_EOI;
return msr == HV_X64_MSR_EOI;
wrmsr(HV_X64_MSR_EOI, 1);