369 	uint16_t devid;  in wbsio_search()  local
398 	devid = wbsio_conf_read(sc->sc_iot, sc->sc_ioh, WBSIO_ID);  in wbsio_search()
403 	if ((product = wbsio_lookup(devid, rev)) == NULL) {  in wbsio_search()
407 	devid = WBSIO_MAKEID(devid, rev, product->idbits);  in wbsio_search()
417 	sc->sc_ia.ia_aux = (void *)(uintptr_t)devid;  in wbsio_search()
460 	uint16_t devid;  in wbsio_gpio_search()  local
467 	devid = wbsio_conf_read(sc->sc_iot, sc->sc_ioh, WBSIO_ID);  in wbsio_gpio_search()
472 	if ((product = wbsio_lookup(devid, rev)) == NULL) {  in wbsio_gpio_search()
812 	uint16_t devid;  in wbsio_wdog_attach()  local
819 	devid = wbsio_conf_read(sc->sc_iot, sc->sc_ioh, WBSIO_ID);  in wbsio_wdog_attach()
823 	if ((product = wbsio_lookup(devid, rev)) == NULL) {  in wbsio_wdog_attach()