WDT_MAX_COUNTER 79 drivers/watchdog/nic7018_wdt.c if (count > WDT_MAX_COUNTER) WDT_MAX_COUNTER 80 drivers/watchdog/nic7018_wdt.c count = WDT_MAX_COUNTER;