s3c2410wdt_cpufreq_deregister 644 drivers/watchdog/s3c2410_wdt.c s3c2410wdt_cpufreq_deregister(wdt); s3c2410wdt_cpufreq_deregister 664 drivers/watchdog/s3c2410_wdt.c s3c2410wdt_cpufreq_deregister(wdt);