static void timer_start(SpiceTimer *timer, uint32_t ms)

{

    qemu_mod_timer(timer->timer, qemu_get_clock(rt_clock) + ms);

}

static void timer_start(SpiceTimer *timer, uint32_t ms)

{

    qemu_mod_timer(timer->timer, qemu_get_clock(rt_clock) + ms);

}

static void FUNC_0(SpiceTimer *VAR_0, uint32_t VAR_1)

{

    qemu_mod_timer(VAR_0->VAR_0, qemu_get_clock(rt_clock) + VAR_1);

}

static void FUNC_0(SpiceTimer *VAR_0, uint32_t VAR_1)
{ qemu_mod_timer(VAR_0->VAR_0, qemu_get_clock(rt_clock) + VAR_1); }