Symbol: DWWDT_STAT
sys/dev/dwwdt/dwwdt.c
137
device_printf(dev, " STAT: %08x\n", DWWDT_READ4(sc, DWWDT_STAT));
sys/dev/dwwdt/dwwdt.c
184
KASSERT((DWWDT_READ4(sc, DWWDT_STAT) & DWWDT_STAT_STATUS) != 0,