static void icp_pit_write(void *opaque, target_phys_addr_t offset,

                          uint64_t value, 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);

    }



    arm_timer_write(s->timer[n], offset & 0xff, value);

}

static void icp_pit_write(void *opaque, target_phys_addr_t offset,

                          uint64_t value, 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);

    }



    arm_timer_write(s->timer[n], offset & 0xff, value);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                          uint64_t VAR_2, unsigned VAR_3)

{

    icp_pit_state *s = (icp_pit_state *)VAR_0;

    int VAR_4;



    VAR_4 = VAR_1 >> 8;

    if (VAR_4 > 2) {

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

    }



    arm_timer_write(s->timer[VAR_4], VAR_1 & 0xff, VAR_2);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ icp_pit_state *s = (icp_pit_state *)VAR_0; int VAR_4; VAR_4 = VAR_1 >> 8; if (VAR_4 > 2) { hw_error("%s: Bad timer %d\VAR_4", __func__, VAR_4); } arm_timer_write(s->timer[VAR_4], VAR_1 & 0xff, VAR_2); }