static uint64_t icp_pit_read(void *opaque, target_phys_addr_t offset,

                             unsigned size)

{

    icp_pit_state *s = (icp_pit_state *)opaque;

    int n;



    /* ??? Don't know the PrimeCell ID for this device.  */

    n = offset >> 8;

    if (n > 2) {

        hw_error("%s: Bad timer %d\n", __func__, n);

    }



    return arm_timer_read(s->timer[n], offset & 0xff);

}

static uint64_t icp_pit_read(void *opaque, target_phys_addr_t offset,

                             unsigned size)

{

    icp_pit_state *s = (icp_pit_state *)opaque;

    int n;



    

    n = offset >> 8;

    if (n > 2) {

        hw_error("%s: Bad timer %d\n", __func__, n);

    }



    return arm_timer_read(s->timer[n], offset & 0xff);

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,

                             unsigned size)

{

    icp_pit_state *s = (icp_pit_state *)opaque;

    int VAR_0;



    

    VAR_0 = offset >> 8;

    if (VAR_0 > 2) {

        hw_error("%s: Bad timer %d\VAR_0", __func__, VAR_0);

    }



    return arm_timer_read(s->timer[VAR_0], offset & 0xff);

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t offset,
unsigned size)
{ icp_pit_state *s = (icp_pit_state *)opaque; int VAR_0; VAR_0 = offset >> 8; if (VAR_0 > 2) { hw_error("%s: Bad timer %d\VAR_0", __func__, VAR_0); } return arm_timer_read(s->timer[VAR_0], offset & 0xff); }