/* Configures for the selected ADC channel and its sampling time.  */
void ADC_ConfigChannel(uint32_t channel, uint8_t sampleTime)
/* Configures for the selected ADC channel and its sampling time.  */
void ADC_ConfigChannel(uint32_t channel, uint8_t sampleTime)
{
    ADC->CHSEL |= (uint32_t)channel;
    ADC->SMPTIM |= (uint8_t)sampleTime;
}