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