void timer_deinit(QEMUTimer *ts)

{

    assert(ts->expire_time == -1);

    ts->timer_list = NULL;

}

void timer_deinit(QEMUTimer *ts)

{

    assert(ts->expire_time == -1);

    ts->timer_list = NULL;

}

void FUNC_0(QEMUTimer *VAR_0)

{

    assert(VAR_0->expire_time == -1);

    VAR_0->timer_list = NULL;

}

void FUNC_0(QEMUTimer *VAR_0)
{ assert(VAR_0->expire_time == -1); VAR_0->timer_list = NULL; }