WDT_COUNTER_MAX_SECS
u32 max = WDT_COUNTER_MAX_SECS;
if (!max || max > WDT_COUNTER_MAX_SECS)
max = WDT_COUNTER_MAX_SECS;