Symbol: vmx_misc_max_msr
arch/x86/kvm/vmx/nested.c
1420
if (vmx_misc_max_msr(data) > vmx_misc_max_msr(vmx_misc))
arch/x86/kvm/vmx/nested.c
898
return (vmx_misc_max_msr(vmx_misc) + 1) * VMX_MISC_MSR_LIST_MULTIPLIER;