static uint64_t mv88w8618_pit_read(void *opaque, target_phys_addr_t offset,

                                   unsigned size)

{

    mv88w8618_pit_state *s = opaque;

    mv88w8618_timer_state *t;



    switch (offset) {

    case MP_PIT_TIMER1_VALUE ... MP_PIT_TIMER4_VALUE:

        t = &s->timer[(offset-MP_PIT_TIMER1_VALUE) >> 2];

        return ptimer_get_count(t->ptimer);



    default:

        return 0;

    }

}

static uint64_t mv88w8618_pit_read(void *opaque, target_phys_addr_t offset,

                                   unsigned size)

{

    mv88w8618_pit_state *s = opaque;

    mv88w8618_timer_state *t;



    switch (offset) {

    case MP_PIT_TIMER1_VALUE ... MP_PIT_TIMER4_VALUE:

        t = &s->timer[(offset-MP_PIT_TIMER1_VALUE) >> 2];

        return ptimer_get_count(t->ptimer);



    default:

        return 0;

    }

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,

                                   unsigned size)

{

    mv88w8618_pit_state *s = opaque;

    mv88w8618_timer_state *t;



    switch (offset) {

    case MP_PIT_TIMER1_VALUE ... MP_PIT_TIMER4_VALUE:

        t = &s->timer[(offset-MP_PIT_TIMER1_VALUE) >> 2];

        return ptimer_get_count(t->ptimer);



    default:

        return 0;

    }

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,
unsigned size)
{ mv88w8618_pit_state *s = opaque; mv88w8618_timer_state *t; switch (offset) { case MP_PIT_TIMER1_VALUE ... MP_PIT_TIMER4_VALUE:
t = &s->timer[(offset-MP_PIT_TIMER1_VALUE) >> 2]; return ptimer_get_count(t->ptimer); default:
return 0; } }