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()
595 static int wdt_margin = WD_TIMO; variable596 module_param(wdt_margin, int, 0);597 MODULE_PARM_DESC(wdt_margin, "Watchdog timeout in seconds (default 60s)");623 if (wdt_margin > 31) in wdt_ping()624 i2c_data[1] = (wdt_margin & 0xFC) | 0x83; /* resolution = 4s */ in wdt_ping()629 i2c_data[1] = wdt_margin << 2 | 0x82; in wdt_ping()745 wdt_margin = new_margin; in wdt_ioctl()749 return put_user(wdt_margin, (int __user *)arg); in wdt_ioctl()
