Symbol: DEFAULT_MARGIN
drivers/watchdog/hpwdt.c
229
.timeout = DEFAULT_MARGIN,
drivers/watchdog/hpwdt.c
37
static unsigned int soft_margin = DEFAULT_MARGIN; /* in seconds */