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));