timer_counter
struct timer_counter tim[TIMER_COUNT];
if (!--tp->timer_counter) {
tp->timer_counter = tp->timer_multiplier;
tp->timer_counter = tp->timer_multiplier;
u16 timer_counter;
u64 timer_counter;
timer_counter = ioread32(davinci_wdt->base + TIM12);
timer_counter |= ((u64)ioread32(davinci_wdt->base + TIM34) << 32);
timer_counter = div64_ul(timer_counter, freq);
return wdd->timeout - timer_counter;
u64 timer_counter;
timer_counter = readl_relaxed(wdt->base + RTIDWDCNTR);
timer_counter *= 1000;
do_div(timer_counter, wdt->freq);
return timer_counter;