Symbol: S3C2410_WTCNT
drivers/watchdog/s3c2410_wdt.c
503
writel(wdt->count, wdt->reg_base + S3C2410_WTCNT);
drivers/watchdog/s3c2410_wdt.c
555
writel(wdt->count, wdt->reg_base + S3C2410_WTCNT);
drivers/watchdog/s3c2410_wdt.c
623
writel(0x80, wdt_base + S3C2410_WTCNT);
drivers/watchdog/s3c2410_wdt.c
914
writel(wdt->wtdat_save, wdt->reg_base + S3C2410_WTCNT);/* Reset count */