ar7_wdt_update_margin  235 drivers/watchdog/ar7_wdt.c 		ar7_wdt_update_margin(new_margin);
ar7_wdt_update_margin  282 drivers/watchdog/ar7_wdt.c 	ar7_wdt_update_margin(margin);