Lines Matching refs:margin
28 static unsigned int margin = 60; /* (secs) Default is 1 minute */
55 wdt_send_data(REBOOT_COMMAND, margin);
153 margin = time;
158 ret = put_user(margin, (int __user *)arg);
221 if (margin < 31 || margin > 255) {
222 pr_err("margin must be in range 31 - 255 seconds, you tried to set %d\n",
223 margin);
258 module_param(margin, int, 0);
259 MODULE_PARM_DESC(margin, "Watchdog margin in seconds (default 60s)");