dc_wdt_set         53 drivers/watchdog/digicolor_wdt.c 	dc_wdt_set(wdt, 1);
dc_wdt_set         64 drivers/watchdog/digicolor_wdt.c 	dc_wdt_set(wdt, wdog->timeout * clk_get_rate(wdt->clk));
dc_wdt_set         82 drivers/watchdog/digicolor_wdt.c 	dc_wdt_set(wdt, t * clk_get_rate(wdt->clk));