Symbol: zynq_gpio_pin_read