samsung_wdt_reset_init  237 arch/arm/mach-s3c64xx/common.c 	samsung_wdt_reset_init(S3C_VA_WATCHDOG);
samsung_wdt_reset_init   14 arch/arm/mach-s3c64xx/watchdog-reset.h extern void samsung_wdt_reset_init(void __iomem *base);