DEFAULT_PRETIMEOUT 92 drivers/watchdog/kempld_wdt.c static unsigned int pretimeout = DEFAULT_PRETIMEOUT; DEFAULT_PRETIMEOUT 96 drivers/watchdog/kempld_wdt.c __MODULE_STRING(DEFAULT_PRETIMEOUT) ")");