/* Deinitializes the SDIO peripheral registers to their default reset values.  */
void SDIO_DeInit(void)
/* Deinitializes the SDIO peripheral registers to their default reset values.  */
void SDIO_DeInit(void)
{
  RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDIO, ENABLE);
  RCC_APB2PeriphResetCmd(RCC_APB2Periph_SDIO, DISABLE);
}