Searched refs:wdt_margin (Results 1 – 2 of 2) sorted by relevance
357 static int wdt_margin = WD_TIMO; variable358 module_param(wdt_margin, int, 0);359 MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 60s)");385 if (wdt_margin > 31) in wdt_ping()386 i2c_data[1] = (wdt_margin & 0xFC) | 0x83; /* resolution = 4s */ in wdt_ping()391 i2c_data[1] = wdt_margin<<2 | 0x82; in wdt_ping()507 wdt_margin = new_margin; in wdt_ioctl()511 return put_user(wdt_margin, (int __user *)arg); in wdt_ioctl()
381 static int wdt_margin = WD_TIMO; variable383 module_param(wdt_margin, int, 0);384 MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 32s)");533 wdt_margin = new_margin; in ds1374_wdt_ioctl()538 return put_user(wdt_margin, (int __user *)arg); in ds1374_wdt_ioctl()550 ds1374_wdt_settimeout(wdt_margin); in ds1374_wdt_ioctl()