/* configure the ADC clock for all the ADCs  */
void adc_clock_config(uint32_t prescaler)
/* configure the ADC clock for all the ADCs  */
void adc_clock_config(uint32_t prescaler)
{
    ADC_SYNCCTL &= ~((uint32_t)ADC_SYNCCTL_ADCCK);
    ADC_SYNCCTL |= (uint32_t) prescaler;
}