ZX2967_WDT_MAX_COUNT   88 drivers/watchdog/zx2967_wdt.c 	if (count > divisor * ZX2967_WDT_MAX_COUNT)
ZX2967_WDT_MAX_COUNT   89 drivers/watchdog/zx2967_wdt.c 		divisor = DIV_ROUND_UP(count, ZX2967_WDT_MAX_COUNT);