Searched refs:basic_msr (Results 1 – 1 of 1) sorted by relevance
2751 u64 basic_msr; in setup_vmcs_config() local2882 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in setup_vmcs_config()2885 if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE) in setup_vmcs_config()2894 if (basic_msr & VMX_BASIC_32BIT_PHYS_ADDR_ONLY) in setup_vmcs_config()2899 if (vmx_basic_vmcs_mem_type(basic_msr) != X86_MEMTYPE_WB) in setup_vmcs_config()2904 vmcs_conf->basic = basic_msr; in setup_vmcs_config()