hello,
I am confused with the ADC channel naming.
In S32DS processor expert, the channel naming scheme is shown in the picture below.

But in the reference manual, it uses ADC0_SE0, ADC0_SE1, ..., to name the adc channels.
How can I relate the two naming schemes? E.g., does ADC_INPUTCHAN_EXT0 relate to ADC0_SE0? And what about ADC1_SE0?