TIMER_MARGIN       30 drivers/watchdog/softdog.c static unsigned int soft_margin = TIMER_MARGIN;	/* in seconds */
TIMER_MARGIN       34 drivers/watchdog/softdog.c 					__MODULE_STRING(TIMER_MARGIN) ")");
TIMER_MARGIN      127 drivers/watchdog/softdog.c 	.timeout = TIMER_MARGIN,
TIMER_MARGIN       26 drivers/watchdog/txx9wdt.c static unsigned int timeout = TIMER_MARGIN;	/* in seconds */
TIMER_MARGIN       31 drivers/watchdog/txx9wdt.c 	"default=" __MODULE_STRING(TIMER_MARGIN) ")");
TIMER_MARGIN      125 drivers/watchdog/txx9wdt.c 		timeout = TIMER_MARGIN;