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