mvsocgpp_pin_write
sc->sc_gpio_chipset.gp_pin_write = mvsocgpp_pin_write;
void mvsocgpp_pin_write(void *, int, int);