Searched refs:basic_msr (Results 1 – 1 of 1) sorted by relevance
174 u64 basic_msr; in __x86_vmx_init() local181 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in __x86_vmx_init()184 if (WARN_ON_ONCE(vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE)) in __x86_vmx_init()192 rev_id = vmx_basic_vmcs_revision_id(basic_msr); in __x86_vmx_init()