/* ADC Wait to finish the ADC calibration procedure.  */
void adc_calibrate_wait_finish(uint32_t adc)
/* ADC Wait to finish the ADC calibration procedure.  */
void adc_calibrate_wait_finish(uint32_t adc)
{
	while (ADC_CR(adc) & ADC_CR_ADCAL);
}