static void pxa2xx_rtc_hzupdate(PXA2xxRTCState *s)

{

    int64_t rt = qemu_get_clock(rt_clock);

    s->last_rcnr += ((rt - s->last_hz) << 15) /

            (1000 * ((s->rttr & 0xffff) + 1));

    s->last_rdcr += ((rt - s->last_hz) << 15) /

            (1000 * ((s->rttr & 0xffff) + 1));

    s->last_hz = rt;

}

static void pxa2xx_rtc_hzupdate(PXA2xxRTCState *s)

{

    int64_t rt = qemu_get_clock(rt_clock);

    s->last_rcnr += ((rt - s->last_hz) << 15) /

            (1000 * ((s->rttr & 0xffff) + 1));

    s->last_rdcr += ((rt - s->last_hz) << 15) /

            (1000 * ((s->rttr & 0xffff) + 1));

    s->last_hz = rt;

}

static void FUNC_0(PXA2xxRTCState *VAR_0)

{

    int64_t rt = qemu_get_clock(rt_clock);

    VAR_0->last_rcnr += ((rt - VAR_0->last_hz) << 15) /

            (1000 * ((VAR_0->rttr & 0xffff) + 1));

    VAR_0->last_rdcr += ((rt - VAR_0->last_hz) << 15) /

            (1000 * ((VAR_0->rttr & 0xffff) + 1));

    VAR_0->last_hz = rt;

}

static void FUNC_0(PXA2xxRTCState *VAR_0)
{ int64_t rt = qemu_get_clock(rt_clock); VAR_0->last_rcnr += ((rt - VAR_0->last_hz) << 15) /
(1000 * ((VAR_0->rttr & 0xffff) + 1)); VAR_0->last_rdcr += ((rt - VAR_0->last_hz) << 15) /
(1000 * ((VAR_0->rttr & 0xffff) + 1)); VAR_0->last_hz = rt; }