/* Configure the ADC to either be clocked by the asynchronous clock.  */
void ADC_ClockMode(ADC_CLOCK_MODE_T clockMode)
/* Configure the ADC to either be clocked by the asynchronous clock.  */
void ADC_ClockMode(ADC_CLOCK_MODE_T clockMode)
{
    ADC->CFG2_B.CLKCFG = (uint32_t)clockMode;
}