dw_wdt_top_in_seconds   80 drivers/watchdog/dw_wdt.c 	return dw_wdt_top_in_seconds(dw_wdt, top);
dw_wdt_top_in_seconds  103 drivers/watchdog/dw_wdt.c 		if (dw_wdt_top_in_seconds(dw_wdt, i) >= top_s) {
dw_wdt_top_in_seconds  117 drivers/watchdog/dw_wdt.c 	wdd->timeout = dw_wdt_top_in_seconds(dw_wdt, top_val);
dw_wdt_top_in_seconds  274 drivers/watchdog/dw_wdt.c 		dw_wdt_top_in_seconds(dw_wdt, DW_WDT_MAX_TOP) * 1000;