STMP3XXX_DEFAULT_TIMEOUT   21 drivers/watchdog/stmp3xxx_rtc_wdt.c static int heartbeat = STMP3XXX_DEFAULT_TIMEOUT;
STMP3XXX_DEFAULT_TIMEOUT   25 drivers/watchdog/stmp3xxx_rtc_wdt.c 		 __MODULE_STRING(STMP3XXX_DEFAULT_TIMEOUT));