/* Enable the ADC Voltage regulator Before any use of the ADC, the ADC Voltage regulator must be enabled. You must wait up to 10uSecs afterwards before trying anything else.  */
void adc_enable_regulator(uint32_t adc)
/* Enable the ADC Voltage regulator Before any use of the ADC, the ADC Voltage regulator must be enabled. You must wait up to 10uSecs afterwards before trying anything else.  */
void adc_enable_regulator(uint32_t adc)
{
	ADC_CR(adc) &= ~ADC_CR_ADVREGEN_MASK;
	ADC_CR(adc) |= ADC_CR_ADVREGEN_ENABLE;
}