sys/dev/dwwdt/dwwdt.c

134

device_printf(dev, " CR: %08x\n", DWWDT_READ4(sc, DWWDT_CR));

sys/dev/dwwdt/dwwdt.c

135

device_printf(dev, " CCVR: %08x\n", DWWDT_READ4(sc, DWWDT_CCVR));

sys/dev/dwwdt/dwwdt.c

136

device_printf(dev, " CRR: %08x\n", DWWDT_READ4(sc, DWWDT_CRR));

sys/dev/dwwdt/dwwdt.c

137

device_printf(dev, " STAT: %08x\n", DWWDT_READ4(sc, DWWDT_STAT));

sys/dev/dwwdt/dwwdt.c

148

return ((DWWDT_READ4(sc, DWWDT_CR) & DWWDT_CR_WDT_EN) != 0);

sys/dev/dwwdt/dwwdt.c

157

val = DWWDT_READ4(sc, DWWDT_CR);

sys/dev/dwwdt/dwwdt.c

184

KASSERT((DWWDT_READ4(sc, DWWDT_STAT) & DWWDT_STAT_STATUS) != 0,

sys/dev/dwwdt/dwwdt.c

192

(void)DWWDT_READ4(sc, DWWDT_EOI);