Symbol: XADC_ZYNQ_TCK_RATE_MAX