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;