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