vmx_find_uret_msr
efer_msr = vmx_find_uret_msr(vmx, MSR_EFER);
uret_msr = vmx_find_uret_msr(vmx, msr);
msr = vmx_find_uret_msr(vmx, msr_info->index);
msr = vmx_find_uret_msr(vmx, msr_index);
if (!vmx_find_uret_msr(vmx, MSR_EFER))
tsx_ctrl = vmx_find_uret_msr(vmx, MSR_IA32_TSX_CTRL);
msr = vmx_find_uret_msr(vmx, MSR_IA32_TSX_CTRL);
struct vmx_uret_msr *vmx_find_uret_msr(struct vcpu_vmx *vmx, u32 msr);