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;