__s3c2410wdt_stop  257 drivers/watchdog/s3c2410_wdt.c 	__s3c2410wdt_stop(wdt);
__s3c2410wdt_stop  270 drivers/watchdog/s3c2410_wdt.c 	__s3c2410wdt_stop(wdt);