vmx_get_vmx_msr    32 arch/x86/kvm/vmx/nested.h int vmx_get_vmx_msr(struct nested_vmx_msrs *msrs, u32 msr_index, u64 *pdata);
vmx_get_vmx_msr  1737 arch/x86/kvm/vmx/vmx.c 		return vmx_get_vmx_msr(&vmcs_config.nested, msr->index, &msr->data);
vmx_get_vmx_msr  1812 arch/x86/kvm/vmx/vmx.c 		return vmx_get_vmx_msr(&vmx->nested.msrs, msr_info->index,