get_tdx_sys_info_version
ret = get_tdx_sys_info_version(&tdx_sysinfo.version);
ret = ret ?: get_tdx_sys_info_version(&sysinfo->version);