In the Teensy 4.0 cores file analog.c is the following line:
ADC1_CFG = mode | ADC_HC_AIEN | ADC_CFG_ADHSC;
As far as I understand the register ADC1_CFG gets initialized here. But the bit ADC_HC_AIEN does not belong to register ADC1_CFG but to "Control register for hardware triggers (ADCx_HC0)" as far as I understand the datasheet. Or do I understand it wrongly?