/* Deinitializes the ADCx peripheral registers to their default reset values.  */
void ADC_DeInit(ADC_TypeDef *ADCx)
/* Deinitializes the ADCx peripheral registers to their default reset values.  */
void ADC_DeInit(ADC_TypeDef *ADCx)
{
  assert_param(IS_ADC_ALL_PERIPH(ADCx));
  if((ADCx == ADC1) || (ADCx == ADC2))
  {
    RCC_AHBPeriphResetCmd(RCC_AHBPeriph_ADC12, ENABLE);
    RCC_AHBPeriphResetCmd(RCC_AHBPeriph_ADC12, DISABLE);
  }
  else if((ADCx == ADC3) || (ADCx == ADC4))
  {
    RCC_AHBPeriphResetCmd(RCC_AHBPeriph_ADC34, ENABLE);
    RCC_AHBPeriphResetCmd(RCC_AHBPeriph_ADC34, DISABLE);
  }
}