S3C2410_WATCHDOG_DEFAULT_TIME   78 drivers/watchdog/s3c2410_wdt.c 		__MODULE_STRING(S3C2410_WATCHDOG_DEFAULT_TIME) ")");
S3C2410_WATCHDOG_DEFAULT_TIME  394 drivers/watchdog/s3c2410_wdt.c 	.timeout = S3C2410_WATCHDOG_DEFAULT_TIME,
S3C2410_WATCHDOG_DEFAULT_TIME  585 drivers/watchdog/s3c2410_wdt.c 					S3C2410_WATCHDOG_DEFAULT_TIME);
S3C2410_WATCHDOG_DEFAULT_TIME  590 drivers/watchdog/s3c2410_wdt.c 				 S3C2410_WATCHDOG_DEFAULT_TIME);