DWWDT_STAT
device_printf(dev, " STAT: %08x\n", DWWDT_READ4(sc, DWWDT_STAT));
KASSERT((DWWDT_READ4(sc, DWWDT_STAT) & DWWDT_STAT_STATUS) != 0,