2386 	rdmsr(MSR_IA32_VMX_PINBASED_CTLS,  in nested_vmx_setup_ctls_msrs()
2403 	rdmsr(MSR_IA32_VMX_EXIT_CTLS,  in nested_vmx_setup_ctls_msrs()
2428 	rdmsr(MSR_IA32_VMX_ENTRY_CTLS,  in nested_vmx_setup_ctls_msrs()
2449 	rdmsr(MSR_IA32_VMX_PROCBASED_CTLS,  in nested_vmx_setup_ctls_msrs()
2484 	rdmsr(MSR_IA32_VMX_PROCBASED_CTLS2,  in nested_vmx_setup_ctls_msrs()
2519 	rdmsr(MSR_IA32_VMX_MISC,  in nested_vmx_setup_ctls_msrs()
2971 	rdmsr(msr, vmx_msr_low, vmx_msr_high);  in adjust_vmx_controls()
2988 	rdmsr(msr, vmx_msr_low, vmx_msr_high);  in allow_1_setting()
3067 		rdmsr(MSR_IA32_VMX_EPT_VPID_CAP,  in setup_vmcs_config()
3098 	rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high);  in setup_vmcs_config()
4517 	rdmsr(MSR_IA32_SYSENTER_CS, low32, high32);  in vmx_set_constant_host_state()
4523 		rdmsr(MSR_IA32_CR_PAT, low32, high32);  in vmx_set_constant_host_state()
4691 		rdmsr(MSR_IA32_CR_PAT, msr_low, msr_high);  in vmx_vcpu_setup()