MSR_KVM_ASYNC_PF_ACK
wrmsrq(MSR_KVM_ASYNC_PF_ACK, 1);
case MSR_KVM_ASYNC_PF_ACK:
MSR_KVM_PV_EOI_EN, MSR_KVM_ASYNC_PF_INT, MSR_KVM_ASYNC_PF_ACK,
case MSR_KVM_ASYNC_PF_ACK:
TEST_MSR(MSR_KVM_ASYNC_PF_ACK),