Searched refs:basic_msr (Results 1 – 1 of 1) sorted by relevance
2570 u64 basic_msr; in setup_vmcs_config() local 2700 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in setup_vmcs_config() 2703 if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE) in setup_vmcs_config() 2712 if (basic_msr & VMX_BASIC_32BIT_PHYS_ADDR_ONLY) in setup_vmcs_config() 2717 if (vmx_basic_vmcs_mem_type(basic_msr) != X86_MEMTYPE_WB) in setup_vmcs_config() 2722 vmcs_conf->basic = basic_msr; in setup_vmcs_config()