Searched refs:basic_msr (Results 1 – 1 of 1) sorted by relevance
2619 u64 basic_msr; in setup_vmcs_config() local2749 rdmsrl(MSR_IA32_VMX_BASIC, basic_msr); in setup_vmcs_config()2752 if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE) in setup_vmcs_config()2761 if (basic_msr & VMX_BASIC_32BIT_PHYS_ADDR_ONLY) in setup_vmcs_config()2766 if (vmx_basic_vmcs_mem_type(basic_msr) != X86_MEMTYPE_WB) in setup_vmcs_config()2771 vmcs_conf->basic = basic_msr; in setup_vmcs_config()