WBSIO_GPIO_IOR
ior = wbsio_gpio_rt_read(sc, port, WBSIO_GPIO_IOR);
wbsio_gpio_rt_write(sc, port, WBSIO_GPIO_IOR, ior);