MSR_IA32_VMX_PROCBASED_CTLS2
rdmsr_safe(MSR_IA32_VMX_PROCBASED_CTLS2, &ign, &supported);
case MSR_IA32_VMX_PROCBASED_CTLS2:
case MSR_IA32_VMX_PROCBASED_CTLS2:
case MSR_IA32_VMX_PROCBASED_CTLS2:
case MSR_IA32_VMX_PROCBASED_CTLS2:
MSR_IA32_VMX_PROCBASED_CTLS2,
MSR_IA32_VMX_PROCBASED_CTLS2,
ctrl = kvm_get_feature_msr(MSR_IA32_VMX_PROCBASED_CTLS2) >> 32;
vmx_fixed0and1_msr_test(vcpu, MSR_IA32_VMX_PROCBASED_CTLS2);