TICKS_TO_SECS
ctl_sec = TICKS_TO_SECS(ctl, wdt);
cur_sec = TICKS_TO_SECS(cur, wdt);
return TICKS_TO_SECS(val & SECWDOG_COUNT_MASK, wdt);
return TICKS_TO_SECS(ioread16(hpwdt_timer_reg));
#define HPWDT_MAX_TIMER TICKS_TO_SECS(HPWDT_MAX_TICKS)