WBSIO_GPIO_INV
inv = wbsio_gpio_rt_read(sc, port, WBSIO_GPIO_INV);
wbsio_gpio_rt_write(sc, port, WBSIO_GPIO_INV, inv);