On Mon, Aug 10, 2009 at 02:04:31PM -0700, Kevin Hilman wrote: > @@ -86,6 +88,9 @@ static void wdt_enable(void) > { > u32 tgcr; > u32 timer_margin; > + u32 wdt_freq; > + > + wdt_freq = clk_get_rate(wdt_clk); Much better - and only a minor nit which doesn't deserve a repost - wdt_freq should probably match the return type of clk_get_rate. IOW unsigned long. -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html