DW_WDT_MAX_TOP     96 drivers/watchdog/dw_wdt.c 	int i, top_val = DW_WDT_MAX_TOP;
DW_WDT_MAX_TOP    102 drivers/watchdog/dw_wdt.c 	for (i = 0; i <= DW_WDT_MAX_TOP; ++i)
DW_WDT_MAX_TOP    274 drivers/watchdog/dw_wdt.c 		dw_wdt_top_in_seconds(dw_wdt, DW_WDT_MAX_TOP) * 1000;