TWD_TIMER_COUNTER
writel_relaxed(0xFFFFFFFFU, twd_base + TWD_TIMER_COUNTER);
count = readl_relaxed(twd_base + TWD_TIMER_COUNTER);
writel_relaxed(evt, twd_base + TWD_TIMER_COUNTER);
writel_relaxed(1, twd_base + TWD_TIMER_COUNTER);