static void ar7_wdt_update_margin(int new_margin) { u32 change; change = new_margin * (ar7_vbus_freq() / prescale_value); if (change < 1) change = 1; if (change > 0xffff) change = 0xffff; ar7_wdt_change(change); margin = change * prescale_value / ar7_vbus_freq(); printk(KERN_INFO DRVNAME ": timer margin %d seconds (prescale %d, change %d, freq %d)\n", margin, prescale_value, change, ar7_vbus_freq()); }
static void ar7_wdt_update_margin(int new_margin) { u32 change; u32 vbus_rate; vbus_rate = clk_get_rate(vbus_clk); change = new_margin * (vbus_rate / prescale_value); if (change < 1) change = 1; if (change > 0xffff) change = 0xffff; ar7_wdt_change(change); margin = change * prescale_value / vbus_rate; pr_info("timer margin %d seconds (prescale %d, change %d, freq %d)\n", margin, prescale_value, change, vbus_rate); }