Symbol: WBSIO_WDT_STAT
sys/dev/isa/wbsio.c
937
st = wbsio_conf_read(sc->sc_iot, sc->sc_ioh, WBSIO_WDT_STAT);
sys/dev/isa/wbsio.c
939
wbsio_conf_write(sc->sc_iot, sc->sc_ioh, WBSIO_WDT_STAT, st);