WDTCON_ON
writel(WDTCON_ON, PIC32_SET(wdt->regs + WDTCON_REG));
writel(WDTCON_ON, PIC32_CLR(wdt->regs + WDTCON_REG));