Symbol: ZYNQ_GPIO_BANK0_PIN_MAX