Symbol: zynq_gpio_set_value