/* Set the ADC peripheral registers to their default reset values.  */
void ADC_Reset(void)
/* Set the ADC peripheral registers to their default reset values.  */
void ADC_Reset(void)
{
    RCM_EnableAPB2PeriphReset(RCM_APB2_PERIPH_ADC1);
    RCM_DisableAPB2PeriphReset(RCM_APB2_PERIPH_ADC1);
}