Symbol: zynq_gpio_pin