static void slavio_timer_get_out(SLAVIO_TIMERState *s)

{

    uint64_t count;



    count = s->limit - PERIODS_TO_LIMIT(ptimer_get_count(s->timer));

    DPRINTF("get_out: limit %" PRIx64 " count %x%08x\n", s->limit,

            s->counthigh, s->count);

    s->count = count & TIMER_COUNT_MASK32;

    s->counthigh = count >> 32;

}

static void slavio_timer_get_out(SLAVIO_TIMERState *s)

{

    uint64_t count;



    count = s->limit - PERIODS_TO_LIMIT(ptimer_get_count(s->timer));

    DPRINTF("get_out: limit %" PRIx64 " count %x%08x\n", s->limit,

            s->counthigh, s->count);

    s->count = count & TIMER_COUNT_MASK32;

    s->counthigh = count >> 32;

}

static void FUNC_0(SLAVIO_TIMERState *VAR_0)

{

    uint64_t count;



    count = VAR_0->limit - PERIODS_TO_LIMIT(ptimer_get_count(VAR_0->timer));

    DPRINTF("get_out: limit %" PRIx64 " count %x%08x\n", VAR_0->limit,

            VAR_0->counthigh, VAR_0->count);

    VAR_0->count = count & TIMER_COUNT_MASK32;

    VAR_0->counthigh = count >> 32;

}

static void FUNC_0(SLAVIO_TIMERState *VAR_0)
{ uint64_t count; count = VAR_0->limit - PERIODS_TO_LIMIT(ptimer_get_count(VAR_0->timer)); DPRINTF("get_out: limit %" PRIx64 " count %x%08x\n", VAR_0->limit,
VAR_0->counthigh, VAR_0->count); VAR_0->count = count & TIMER_COUNT_MASK32; VAR_0->counthigh = count >> 32; }