WBSIO_GPIO_DAT
data = wbsio_gpio_rt_read(sc, port, WBSIO_GPIO_DAT);
wbsio_gpio_rt_write(sc, port, WBSIO_GPIO_DAT, data);