WDTIM_CTRL
writel(COUNT_ENAB | DEBUG_EN, WDTIM_CTRL(wdt_base));
writel(0, WDTIM_CTRL(wdt_base)); /*stop counter */
if (readl(WDTIM_CTRL(wdt_base)) & COUNT_ENAB)
writel(RESET_COUNT, WDTIM_CTRL(wdt_base));