Symbol: wdctrl_read
sys/dev/misc/amdsbwd/amdsbwd.c
172
val = wdctrl_read(sc);
sys/dev/misc/amdsbwd/amdsbwd.c
184
val = wdctrl_read(sc);
sys/dev/misc/amdsbwd/amdsbwd.c
196
val = wdctrl_read(sc);
sys/dev/misc/amdsbwd/amdsbwd.c
567
device_printf(dev, "wd ctrl = %#04x\n", wdctrl_read(sc));
sys/dev/misc/amdsbwd/amdsbwd.c
574
if (wdctrl_read(sc) & AMDSB_WD_DISABLE) {
sys/dev/misc/amdsbwd/amdsbwd.c
622
val = wdctrl_read(sc);