vmx_misc_max_msr  885 arch/x86/kvm/vmx/nested.c 	return (vmx_misc_max_msr(vmx_misc) + 1) * VMX_MISC_MSR_LIST_MULTIPLIER;
vmx_misc_max_msr 1157 arch/x86/kvm/vmx/nested.c 	if (vmx_misc_max_msr(data) > vmx_misc_max_msr(vmx_misc))