/* ADC Set the Sample Time Selection for a Single Channel.  */
void adc_set_channel_sample_time_selection(uint32_t adc, uint8_t channel, uint8_t selection)
/* ADC Set the Sample Time Selection for a Single Channel.  */
void adc_set_channel_sample_time_selection(uint32_t adc, uint8_t channel, uint8_t selection)
{
	uint32_t reg32;
	reg32 = ADC_SMPR1(adc);
	reg32 &= ~(ADC_SMPR_SMPSEL_CHANNEL_MASK << ADC_SMPR_SMPSEL_CHANNEL_SHIFT(channel));
	reg32 |= (selection << ADC_SMPR_SMPSEL_CHANNEL_SHIFT(channel));
	ADC_SMPR1(adc) = reg32;
}