Symbol: __s3c2410wdt_stop
drivers/watchdog/s3c2410_wdt.c
524
__s3c2410wdt_stop(wdt);
drivers/watchdog/s3c2410_wdt.c
538
__s3c2410wdt_stop(wdt);