ds1374_wdt_settimeout  536 drivers/rtc/rtc-ds1374.c 		ds1374_wdt_settimeout(new_margin);
ds1374_wdt_settimeout  554 drivers/rtc/rtc-ds1374.c 			ds1374_wdt_settimeout(wdt_margin);
ds1374_wdt_settimeout  661 drivers/rtc/rtc-ds1374.c 	ds1374_wdt_settimeout(131072);