There is a critical inconsistency identified between ADC specification and actual register value for ADC_SC1x.
Actual value in S32DS:
These are the register values in memory window:
ADCH field has 6 bits available and setting 0x3F disables it, while 0x1F is a reserved value.
Hope NXP can clarify this issue. Which one is correct?