APPLE_WDT_WD1_CUR_TIME
writel_relaxed(0, wdt->regs + APPLE_WDT_WD1_CUR_TIME);
cur_time = readl_relaxed(wdt->regs + APPLE_WDT_WD1_CUR_TIME);
writel_relaxed(0, wdt->regs + APPLE_WDT_WD1_CUR_TIME);
(void)readl(wdt->regs + APPLE_WDT_WD1_CUR_TIME);
writel_relaxed(0, wdt->regs + APPLE_WDT_WD1_CUR_TIME);
writel_relaxed(0, wdt->regs + APPLE_WDT_WD1_CUR_TIME);