static void update_video_pts(VideoState *is, double pts, int64_t pos, int serial) {

    double time = av_gettime() / 1000000.0;

    /* update current video pts */

    is->video_current_pts = pts;

    is->video_current_pts_drift = is->video_current_pts - time;

    is->video_current_pos = pos;

    is->frame_last_pts = pts;

    check_external_clock_sync(is, is->video_current_pts);

}

static void update_video_pts(VideoState *is, double pts, int64_t pos, int serial) {

    double time = av_gettime() / 1000000.0;

    

    is->video_current_pts = pts;

    is->video_current_pts_drift = is->video_current_pts - time;

    is->video_current_pos = pos;

    is->frame_last_pts = pts;

    check_external_clock_sync(is, is->video_current_pts);

}

static void FUNC_0(VideoState *VAR_0, double VAR_1, int64_t VAR_2, int VAR_3) {

    double VAR_4 = av_gettime() / 1000000.0;

    

    VAR_0->video_current_pts = VAR_1;

    VAR_0->video_current_pts_drift = VAR_0->video_current_pts - VAR_4;

    VAR_0->video_current_pos = VAR_2;

    VAR_0->frame_last_pts = VAR_1;

    check_external_clock_sync(VAR_0, VAR_0->video_current_pts);

}

static void FUNC_0(VideoState *VAR_0, double VAR_1, int64_t VAR_2, int VAR_3) { double VAR_4 = av_gettime() / 1000000.0; VAR_0->video_current_pts = VAR_1; VAR_0->video_current_pts_drift = VAR_0->video_current_pts - VAR_4; VAR_0->video_current_pos = VAR_2; VAR_0->frame_last_pts = VAR_1; check_external_clock_sync(VAR_0, VAR_0->video_current_pts); }