Symbol: S3C2410_WATCHDOG_DEFAULT_TIME
drivers/watchdog/s3c2410_wdt.c
157
__MODULE_STRING(S3C2410_WATCHDOG_DEFAULT_TIME) ")");
drivers/watchdog/s3c2410_wdt.c
657
.timeout = S3C2410_WATCHDOG_DEFAULT_TIME,
drivers/watchdog/s3c2410_wdt.c
818
S3C2410_WATCHDOG_DEFAULT_TIME);
drivers/watchdog/s3c2410_wdt.c
821
S3C2410_WATCHDOG_DEFAULT_TIME);