zynq_gpio_pin_read
val = zynq_gpio_pin_read(sc, pin->pin_nr);
gp->gp_pin_read = zynq_gpio_pin_read;
sc->sc_pins[pin].pin_state = zynq_gpio_pin_read(sc, pin);
static int zynq_gpio_pin_read(void *, int);