vmx_get_vmx_msr
int vmx_get_vmx_msr(struct nested_vmx_msrs *msrs, u32 msr_index, u64 *pdata);
return vmx_get_vmx_msr(&vmcs_config.nested, msr, data);
if (vmx_get_vmx_msr(&vmx->nested.msrs, msr_info->index,