48 static int dc_wdt_restart(struct watchdog_device *wdog, unsigned long action,  in dc_wdt_restart()  argument
51 	struct dc_wdt *wdt = watchdog_get_drvdata(wdog);  in dc_wdt_restart()
60 static int dc_wdt_start(struct watchdog_device *wdog)  in dc_wdt_start()  argument
62 	struct dc_wdt *wdt = watchdog_get_drvdata(wdog);  in dc_wdt_start()
64 	dc_wdt_set(wdt, wdog->timeout * clk_get_rate(wdt->clk));  in dc_wdt_start()
69 static int dc_wdt_stop(struct watchdog_device *wdog)  in dc_wdt_stop()  argument
71 	struct dc_wdt *wdt = watchdog_get_drvdata(wdog);  in dc_wdt_stop()
78 static int dc_wdt_set_timeout(struct watchdog_device *wdog, unsigned int t)  in dc_wdt_set_timeout()  argument
80 	struct dc_wdt *wdt = watchdog_get_drvdata(wdog);  in dc_wdt_set_timeout()
83 	wdog->timeout = t;  in dc_wdt_set_timeout()
88 static unsigned int dc_wdt_get_timeleft(struct watchdog_device *wdog)  in dc_wdt_get_timeleft()  argument
90 	struct dc_wdt *wdt = watchdog_get_drvdata(wdog);  in dc_wdt_get_timeleft()