TIMER_A_COUNT      41 drivers/watchdog/digicolor_wdt.c 	writel_relaxed(ticks, wdt->base + TIMER_A_COUNT);
TIMER_A_COUNT      91 drivers/watchdog/digicolor_wdt.c 	uint32_t count = readl_relaxed(wdt->base + TIMER_A_COUNT);