dc_wdt_set
dc_wdt_set(wdt, 1);
dc_wdt_set(wdt, wdog->timeout * clk_get_rate(wdt->clk));
dc_wdt_set(wdt, t * clk_get_rate(wdt->clk));