static uint64_t arm_thiswdog_read(void *opaque, target_phys_addr_t addr,

                                  unsigned size)

{

    arm_mptimer_state *s = (arm_mptimer_state *)opaque;

    int id = get_current_cpu(s);

    return timerblock_read(&s->timerblock[id * 2 + 1], addr, size);

}

static uint64_t arm_thiswdog_read(void *opaque, target_phys_addr_t addr,

                                  unsigned size)

{

    arm_mptimer_state *s = (arm_mptimer_state *)opaque;

    int id = get_current_cpu(s);

    return timerblock_read(&s->timerblock[id * 2 + 1], addr, size);

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t addr,

                                  unsigned size)

{

    arm_mptimer_state *s = (arm_mptimer_state *)opaque;

    int VAR_0 = get_current_cpu(s);

    return timerblock_read(&s->timerblock[VAR_0 * 2 + 1], addr, size);

}

static uint64_t FUNC_0(void *opaque, target_phys_addr_t addr,
unsigned size)
{ arm_mptimer_state *s = (arm_mptimer_state *)opaque; int VAR_0 = get_current_cpu(s); return timerblock_read(&s->timerblock[VAR_0 * 2 + 1], addr, size); }