top_val            96 drivers/watchdog/dw_wdt.c 	int i, top_val = DW_WDT_MAX_TOP;
top_val           104 drivers/watchdog/dw_wdt.c 			top_val = i;
top_val           114 drivers/watchdog/dw_wdt.c 	writel(top_val | top_val << WDOG_TIMEOUT_RANGE_TOPINIT_SHIFT,
top_val           117 drivers/watchdog/dw_wdt.c 	wdd->timeout = dw_wdt_top_in_seconds(dw_wdt, top_val);