void timer_mod(QEMUTimer *ts, int64_t expire_time)

{

    timer_mod_ns(ts, expire_time * ts->scale);

}

void timer_mod(QEMUTimer *ts, int64_t expire_time)

{

    timer_mod_ns(ts, expire_time * ts->scale);

}

void FUNC_0(QEMUTimer *VAR_0, int64_t VAR_1)

{

    timer_mod_ns(VAR_0, VAR_1 * VAR_0->scale);

}

void FUNC_0(QEMUTimer *VAR_0, int64_t VAR_1)
{ timer_mod_ns(VAR_0, VAR_1 * VAR_0->scale); }