mvsocgpp_pin_read
sc->sc_gpio_chipset.gp_pin_read = mvsocgpp_pin_read;
int mvsocgpp_pin_read(void *, int);