static inline void menelaus_rtc_start(struct menelaus_s *s)

{

    s->rtc.next =+ qemu_get_clock(rt_clock);

    qemu_mod_timer(s->rtc.hz, s->rtc.next);

}

static inline void menelaus_rtc_start(struct menelaus_s *s)

{

    s->rtc.next =+ qemu_get_clock(rt_clock);

    qemu_mod_timer(s->rtc.hz, s->rtc.next);

}

    qemu_mod_timer(s->rtc.hz, s->rtc.next);     qemu_mod_timer(s->rtc.hz, s->rtc.next);
static inline void FUNC_0(struct menelaus_s *VAR_0)

{

    VAR_0->rtc.next =+ qemu_get_clock(rt_clock);

    qemu_mod_timer(VAR_0->rtc.hz, VAR_0->rtc.next);

}

static inline void FUNC_0(struct menelaus_s *VAR_0)
{ VAR_0->rtc.next =+ qemu_get_clock(rt_clock); qemu_mod_timer(VAR_0->rtc.hz, VAR_0->rtc.next); }