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) ")");