EK-TM4C123GXL: EK-TM4C123GXL: ADC input impedance

Hi everyone.

I working with a Tiva C 123 (TM4C123GH6PMI MCU). My application goal is read the analog value of a pressure sensor (0.5V-4.9V, output voltage). Thinking about in some measurement errors, e.g. If the source is low-impedance and the ADC is high-impedance, one could lower the value of the voltage divider, e.g. 1.7k:3.3k. This might introduce some measurement errors, e.g. if the the ADC input has a large capacity on the input and hence the inrush current during the sampling period might lead to a voltage drop. In this case I want to know if the input impedance of the TM4C123GH6PMI MCU ADC channels is high and his value, but I did not found it in the datasheet. n which section of the datasheet this information appear?


Thanks.

Best regards.