WDTCON_REG
writew(WDTCON_CLR_KEY, wdt->regs + WDTCON_REG + 2);
writel(WDTCON_ON, PIC32_SET(wdt->regs + WDTCON_REG));
writel(WDTCON_ON, PIC32_CLR(wdt->regs + WDTCON_REG));
return !!(readl(wdt->regs + WDTCON_REG) & WDTCON_WIN_EN);
u32 v = readl(wdt->regs + WDTCON_REG);
u32 v = readl(wdt->regs + WDTCON_REG);