TIMER_A_COUNT
writel_relaxed(ticks, wdt->base + TIMER_A_COUNT);
uint32_t count = readl_relaxed(wdt->base + TIMER_A_COUNT);