/* Config the SDIO peripheral according to the specified parameters in the sdioConfig.  */
void SDIO_Config(SDIO_Config_T *sdioConfig)
/* Config the SDIO peripheral according to the specified parameters in the sdioConfig.  */
void SDIO_Config(SDIO_Config_T *sdioConfig)
{
    SDIO->CLKCTRL_B.CLKDIV   = sdioConfig->clockDiv;
    SDIO->CLKCTRL_B.PWRSAV   = sdioConfig->clockPowerSave;
    SDIO->CLKCTRL_B.BYPASSEN = sdioConfig->clockBypass;
    SDIO->CLKCTRL_B.WBSEL    = sdioConfig->busWide;
    SDIO->CLKCTRL_B.DEPSEL   = sdioConfig->clockEdge;
    SDIO->CLKCTRL_B.HFCEN    = sdioConfig->hardwareFlowControl;
}