static CadenceTimerState *cadence_timer_from_addr(void *opaque,

                                        target_phys_addr_t offset)

{

    unsigned int index;

    CadenceTTCState *s = (CadenceTTCState *)opaque;



    index = (offset >> 2) % 3;



    return &s->timer[index];

}

static CadenceTimerState *cadence_timer_from_addr(void *opaque,

                                        target_phys_addr_t offset)

{

    unsigned int index;

    CadenceTTCState *s = (CadenceTTCState *)opaque;



    index = (offset >> 2) % 3;



    return &s->timer[index];

}

static CadenceTimerState *FUNC_0(void *opaque,

                                        target_phys_addr_t offset)

{

    unsigned int VAR_0;

    CadenceTTCState *s = (CadenceTTCState *)opaque;



    VAR_0 = (offset >> 2) % 3;



    return &s->timer[VAR_0];

}

static CadenceTimerState *FUNC_0(void *opaque,
target_phys_addr_t offset)
{ unsigned int VAR_0; CadenceTTCState *s = (CadenceTTCState *)opaque; VAR_0 = (offset >> 2) % 3; return &s->timer[VAR_0]; }