wbsio_gpio_rt_pin_write
static void wbsio_gpio_rt_pin_write(void *, int, int);
sc->sc_gpio_gc.gp_pin_write = wbsio_gpio_rt_pin_write;