dash_get_fetch_time 1615 src/media_tools/dash_client.c fetch_time = dash_get_fetch_time(dash); dash_get_fetch_time 5990 src/media_tools/dash_client.c dash->mpd_fetch_time = dash_get_fetch_time(dash);