static void pxa2xx_rtc_piupdate(PXA2xxRTCState *s)

{

    int64_t rt = qemu_get_clock(rt_clock);

    if (s->rtsr & (1 << 15))

        s->last_swcr += rt - s->last_pi;

    s->last_pi = rt;

}

static void pxa2xx_rtc_piupdate(PXA2xxRTCState *s)

{

    int64_t rt = qemu_get_clock(rt_clock);

    if (s->rtsr & (1 << 15))

        s->last_swcr += rt - s->last_pi;

    s->last_pi = rt;

}

static void FUNC_0(PXA2xxRTCState *VAR_0)

{

    int64_t rt = qemu_get_clock(rt_clock);

    if (VAR_0->rtsr & (1 << 15))

        VAR_0->last_swcr += rt - VAR_0->last_pi;

    VAR_0->last_pi = rt;

}

static void FUNC_0(PXA2xxRTCState *VAR_0)
{ int64_t rt = qemu_get_clock(rt_clock); if (VAR_0->rtsr & (1 << 15))
VAR_0->last_swcr += rt - VAR_0->last_pi; VAR_0->last_pi = rt; }