static void arm_thistimer_write(void *opaque, target_phys_addr_t addr,

                                uint64_t value, unsigned size)

{

    arm_mptimer_state *s = (arm_mptimer_state *)opaque;

    int id = get_current_cpu(s);

    timerblock_write(&s->timerblock[id * 2], addr, value, size);

}

static void arm_thistimer_write(void *opaque, target_phys_addr_t addr,

                                uint64_t value, unsigned size)

{

    arm_mptimer_state *s = (arm_mptimer_state *)opaque;

    int id = get_current_cpu(s);

    timerblock_write(&s->timerblock[id * 2], addr, value, size);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                                uint64_t VAR_2, unsigned VAR_3)

{

    arm_mptimer_state *s = (arm_mptimer_state *)VAR_0;

    int VAR_4 = get_current_cpu(s);

    timerblock_write(&s->timerblock[VAR_4 * 2], VAR_1, VAR_2, VAR_3);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ arm_mptimer_state *s = (arm_mptimer_state *)VAR_0; int VAR_4 = get_current_cpu(s); timerblock_write(&s->timerblock[VAR_4 * 2], VAR_1, VAR_2, VAR_3); }