Symbol: WBSIO_WDT_MODE
sys/dev/isa/wbsio.c
841
mode = wbsio_conf_read(sc->sc_iot, sc->sc_ioh, WBSIO_WDT_MODE);
sys/dev/isa/wbsio.c
851
wbsio_conf_write(sc->sc_iot, sc->sc_ioh, WBSIO_WDT_MODE, mode);