Searched refs:wdt_margin (Results 1 – 2 of 2) sorted by relevance
379 static int wdt_margin = WD_TIMO; variable381 module_param(wdt_margin, int, 0);382 MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 32s)");535 wdt_margin = new_margin; in ds1374_wdt_ioctl()541 return put_user((wdt_margin >> 12), (int __user *)arg); in ds1374_wdt_ioctl()554 ds1374_wdt_settimeout(wdt_margin); in ds1374_wdt_ioctl()
596 static int wdt_margin = WD_TIMO; variable597 module_param(wdt_margin, int, 0);598 MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 60s)");624 if (wdt_margin > 31) in wdt_ping()625 i2c_data[1] = (wdt_margin & 0xFC) | 0x83; /* resolution = 4s */ in wdt_ping()630 i2c_data[1] = wdt_margin << 2 | 0x82; in wdt_ping()746 wdt_margin = new_margin; in wdt_ioctl()750 return put_user(wdt_margin, (int __user *)arg); in wdt_ioctl()
