MSR_IA32_VMX_CR4_FIXED1
case MSR_IA32_VMX_CR4_FIXED1:
case MSR_IA32_VMX_CR4_FIXED1:
rdmsrq(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1);
cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1);
return msr == MSR_IA32_VMX_CR0_FIXED1 || msr == MSR_IA32_VMX_CR4_FIXED1;