Symbol: vmx_basic_vmcs_revision_id
arch/x86/kvm/vmx/nested.c
1320
if (vmx_basic_vmcs_revision_id(vmx_basic) !=
arch/x86/kvm/vmx/nested.c
1321
vmx_basic_vmcs_revision_id(data))
arch/x86/kvm/vmx/vmx.c
3072
vmcs->hdr.revision_id = vmx_basic_vmcs_revision_id(vmcs_config.basic);
arch/x86/kvm/vmx/vmx.c
3165
vmcs->hdr.revision_id = vmx_basic_vmcs_revision_id(vmcs_config.basic);