Symbol: WDT_MAX_COUNTER
drivers/watchdog/nic7018_wdt.c
80
if (count > WDT_MAX_COUNTER)
drivers/watchdog/nic7018_wdt.c
81
count = WDT_MAX_COUNTER;