Symbol: WBSIO_WDT_CNTR_STOP
sys/dev/isa/wbsio.c
835
wbsio_wdog_setcounter(sc, WBSIO_WDT_CNTR_STOP);
sys/dev/isa/wbsio.c
897
wbsio_wdog_setcounter(smw->smw_cookie, WBSIO_WDT_CNTR_STOP);