wbsio_gpio_rt_pin_read
static int wbsio_gpio_rt_pin_read(void *, int);
sc->sc_gpio_gc.gp_pin_read = wbsio_gpio_rt_pin_read;