DWWDT_CR
device_printf(dev, " CR: %08x\n", DWWDT_READ4(sc, DWWDT_CR));
return ((DWWDT_READ4(sc, DWWDT_CR) & DWWDT_CR_WDT_EN) != 0);
val = DWWDT_READ4(sc, DWWDT_CR);
DWWDT_WRITE4(sc, DWWDT_CR, val);