MSR_IA32_MISC_ENABLE_MWAIT
MSR_IA32_MISC_ENABLE_MWAIT);
enabled = vcpu->arch.ia32_misc_enable_msr & MSR_IA32_MISC_ENABLE_MWAIT;
((old_val ^ data) & MSR_IA32_MISC_ENABLE_MWAIT)) {
msr & MSR_IA32_MISC_ENABLE_MWAIT ? "" : "No-",
u64 val = rdmsr(MSR_IA32_MISC_ENABLE) & ~MSR_IA32_MISC_ENABLE_MWAIT;
val |= MSR_IA32_MISC_ENABLE_MWAIT;