Symbol: ZYNQ_GPIO_BANK4_PIN_MAX