Lines Matching refs:margin
30 static unsigned int margin = 60; /* (secs) Default is 1 minute */
57 wdt_send_data(REBOOT_COMMAND, margin);
155 margin = time;
160 ret = put_user(margin, (int *)arg);
223 if (margin < 31 || margin > 255) {
224 pr_err("margin must be in range 31 - 255 seconds, you tried to set %d\n",
225 margin);
260 module_param(margin, int, 0);
261 MODULE_PARM_DESC(margin, "Watchdog margin in seconds (default 60s)");