WD_TIMO
static int wdt_margin = WD_TIMO;
static int heartbeat = WD_TIMO;
__MODULE_STRING(WD_TIMO) ")");
timeout = WD_TIMO;
static int timeout = WD_TIMO; /* in seconds */
__MODULE_STRING(WD_TIMO) ".");
static int heartbeat = WD_TIMO;
wdt_set_heartbeat(WD_TIMO);
WD_TIMO);
__MODULE_STRING(WD_TIMO) ")");
wdtpci_set_heartbeat(WD_TIMO);
WD_TIMO);
static int heartbeat = WD_TIMO;
__MODULE_STRING(WD_TIMO) ")");