GPIO_BASE
if (dinfo->gpio_num >= GPIO_BASE)
printf(" gpio %d", dinfo->gpio_num - GPIO_BASE);
sc->sc_saved_gpios[i] = bus_read_1(sc->sc_gpios, GPIO_BASE + i);
bus_write_1(sc->sc_gpios, GPIO_BASE + i, sc->sc_saved_gpios[i]);