zynq_gpio_pin_write
zynq_gpio_pin_write(sc, pin->pin_nr, val);
gp->gp_pin_write = zynq_gpio_pin_write;
static void zynq_gpio_pin_write(void *, int, int);