wdt_margin        379 drivers/rtc/rtc-ds1374.c static int wdt_margin = WD_TIMO;
wdt_margin        381 drivers/rtc/rtc-ds1374.c module_param(wdt_margin, int, 0);
wdt_margin        382 drivers/rtc/rtc-ds1374.c MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 32s)");
wdt_margin        535 drivers/rtc/rtc-ds1374.c 		wdt_margin = new_margin;
wdt_margin        541 drivers/rtc/rtc-ds1374.c 		return put_user((wdt_margin >> 12), (int __user *)arg);
wdt_margin        554 drivers/rtc/rtc-ds1374.c 			ds1374_wdt_settimeout(wdt_margin);
wdt_margin        595 drivers/rtc/rtc-m41t80.c static int wdt_margin = WD_TIMO;
wdt_margin        596 drivers/rtc/rtc-m41t80.c module_param(wdt_margin, int, 0);
wdt_margin        597 drivers/rtc/rtc-m41t80.c MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 60s)");
wdt_margin        623 drivers/rtc/rtc-m41t80.c 	if (wdt_margin > 31)
wdt_margin        624 drivers/rtc/rtc-m41t80.c 		i2c_data[1] = (wdt_margin & 0xFC) | 0x83; /* resolution = 4s */
wdt_margin        629 drivers/rtc/rtc-m41t80.c 		i2c_data[1] = wdt_margin << 2 | 0x82;
wdt_margin        745 drivers/rtc/rtc-m41t80.c 		wdt_margin = new_margin;
wdt_margin        749 drivers/rtc/rtc-m41t80.c 		return put_user(wdt_margin, (int __user *)arg);