CNTR_COUNT_HIGH    94 drivers/watchdog/armada_37xx_wdt.c 	val |= ((u64)readl(dev->reg + CNTR_COUNT_HIGH(id))) << 32;
CNTR_COUNT_HIGH   102 drivers/watchdog/armada_37xx_wdt.c 	writel(val >> 32, dev->reg + CNTR_COUNT_HIGH(id));