/* Deinitializes the ADCx peripheral registers to their default reset values.  */
void ADC_DeInit(ADC_Module *ADCx)
/* Deinitializes the ADCx peripheral registers to their default reset values.  */
void ADC_DeInit(ADC_Module *ADCx)
{
    assert_param(IsAdcModule(ADCx));
    if (ADCx == ADC)
    {
        RCC_EnableAHBPeriphReset(RCC_AHB_PERIPH_ADC, ENABLE);
        RCC_EnableAHBPeriphReset(RCC_AHB_PERIPH_ADC, DISABLE);
    }
}