static void arm_timer_recalibrate(arm_timer_state *s, int reload)

{

    uint32_t limit;



    if ((s->control & TIMER_CTRL_PERIODIC) == 0) {

        /* Free running.  */

        if (s->control & TIMER_CTRL_32BIT)

            limit = 0xffffffff;

        else

            limit = 0xffff;

    } else {

          /* Periodic.  */

          limit = s->limit;

    }

    ptimer_set_limit(s->timer, limit, reload);

}

static void arm_timer_recalibrate(arm_timer_state *s, int reload)

{

    uint32_t limit;



    if ((s->control & TIMER_CTRL_PERIODIC) == 0) {

        

        if (s->control & TIMER_CTRL_32BIT)

            limit = 0xffffffff;

        else

            limit = 0xffff;

    } else {

          

          limit = s->limit;

    }

    ptimer_set_limit(s->timer, limit, reload);

}

static void FUNC_0(arm_timer_state *VAR_0, int VAR_1)

{

    uint32_t limit;



    if ((VAR_0->control & TIMER_CTRL_PERIODIC) == 0) {

        

        if (VAR_0->control & TIMER_CTRL_32BIT)

            limit = 0xffffffff;

        else

            limit = 0xffff;

    } else {

          

          limit = VAR_0->limit;

    }

    ptimer_set_limit(VAR_0->timer, limit, VAR_1);

}

static void FUNC_0(arm_timer_state *VAR_0, int VAR_1)
{ uint32_t limit; if ((VAR_0->control & TIMER_CTRL_PERIODIC) == 0) { if (VAR_0->control & TIMER_CTRL_32BIT)
limit = 0xffffffff; else
limit = 0xffff; } else { limit = VAR_0->limit; } ptimer_set_limit(VAR_0->timer, limit, VAR_1); }