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