static void menelaus_pre_save(void *opaque)

{

    MenelausState *s = opaque;

    /* Should be <= 1000 */

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

}

static void menelaus_pre_save(void *opaque)

{

    MenelausState *s = opaque;

    

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

}

static void FUNC_0(void *VAR_0)

{

    MenelausState *s = VAR_0;

    

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

}

static void FUNC_0(void *VAR_0)
{ MenelausState *s = VAR_0; s->rtc_next_vmstate =  s->rtc.next - qemu_get_clock(rt_clock); }