S3C2410_WATCHDOG_ATBOOT   69 drivers/watchdog/s3c2410_wdt.c static int tmr_atboot	= S3C2410_WATCHDOG_ATBOOT;
S3C2410_WATCHDOG_ATBOOT   81 drivers/watchdog/s3c2410_wdt.c 			__MODULE_STRING(S3C2410_WATCHDOG_ATBOOT));