/* Set new values of counters for CNT and INT timers  */
static void exynos4210_ltick_set_cntb(struct tick_timer *s, uint32_t new_cnt, uint32_t new_int)
/* Set new values of counters for CNT and INT timers  */
static void exynos4210_ltick_set_cntb(struct tick_timer *s, uint32_t new_cnt, uint32_t new_int)
{
    uint32_t cnt_stopped = 0;
    uint32_t int_stopped = 0;
    if (s->cnt_run) {
        exynos4210_ltick_cnt_stop(s);
        cnt_stopped = 1;
    }
    if (s->int_run) {
        exynos4210_ltick_int_stop(s);
        int_stopped = 1;
    }
    s->tcntb = new_cnt + 1;
    s->icntb = new_int + 1;
    if (cnt_stopped) {
        exynos4210_ltick_cnt_start(s);
    }
    if (int_stopped) {
        exynos4210_ltick_int_start(s);
    }
}