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