/* Deinitializes SDADCx peripheral registers to their default reset values.  */
void SDADC_DeInit(SDADC_TypeDef *SDADCx)
/* Deinitializes SDADCx peripheral registers to their default reset values.  */
void SDADC_DeInit(SDADC_TypeDef *SDADCx)
{
  assert_param(IS_SDADC_ALL_PERIPH(SDADCx));
  if(SDADCx == SDADC1)
  {
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC1, ENABLE);
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC1, DISABLE);
  }
  else if(SDADCx == SDADC2)
  {
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC2, ENABLE);
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC2, DISABLE);
  }
  else
  {
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC3, ENABLE);
    RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDADC3, DISABLE);
  }
}