static void schedule_refresh(VideoState *is, int delay)

{

    if(!delay) delay=1; //SDL seems to be buggy when the delay is 0

    SDL_AddTimer(delay, sdl_refresh_timer_cb, is);

}

static void schedule_refresh(VideoState *is, int delay)

{

    if(!delay) delay=1; 

    SDL_AddTimer(delay, sdl_refresh_timer_cb, is);

}

static void FUNC_0(VideoState *VAR_0, int VAR_1)

{

    if(!VAR_1) VAR_1=1; 

    SDL_AddTimer(VAR_1, sdl_refresh_timer_cb, VAR_0);

}

static void FUNC_0(VideoState *VAR_0, int VAR_1)
{ if(!VAR_1) VAR_1=1; SDL_AddTimer(VAR_1, sdl_refresh_timer_cb, VAR_0); }