Symbol: ZYNQ_GPIO_BANK1_PIN_MAX