Searched refs:basic_msr (Results 1 – 1 of 1) sorted by relevance
2718 u64 basic_msr; in setup_vmcs_config() local2849 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in setup_vmcs_config()2852 if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE) in setup_vmcs_config()2861 if (basic_msr & VMX_BASIC_32BIT_PHYS_ADDR_ONLY) in setup_vmcs_config()2866 if (vmx_basic_vmcs_mem_type(basic_msr) != X86_MEMTYPE_WB) in setup_vmcs_config()2871 vmcs_conf->basic = basic_msr; in setup_vmcs_config()