/* Configures the SDIO peripheral according to the specified parameters in the sdioConfig.  */
void SDIO_Config(SDIO_Config_T *sdioConfig)
/* Configures the SDIO peripheral according to the specified parameters in the sdioConfig.  */
void SDIO_Config(SDIO_Config_T *sdioConfig)
{
    uint32_t tmp = 0;
    tmp = SDIO->CLKCTRL;
    tmp &= 0xFFFF8100;
    tmp |= (sdioConfig->clockDiv  | sdioConfig->clockPowerSave | sdioConfig->clockBypass | sdioConfig->busWide |
            sdioConfig->clockEdge | sdioConfig->hardwareFlowControl);
    SDIO->CLKCTRL = tmp;
}