/* Configure the MCI_CFG to enable the HS mode  */
void MCI_EnableHsMode(Mci *pMci, unsigned char hsEnable)
/* Configure the MCI_CFG to enable the HS mode  */
void MCI_EnableHsMode(Mci *pMci, unsigned char hsEnable)
{
    AT91S_MCI *pMciHw = pMci->pMciHw;
    unsigned int cfgr;
    SANITY_CHECK(pMci);
    SANITY_CHECK(pMci->pMciHw);
    cfgr = READ_MCI(pMciHw, MCI_CFG);
    if (hsEnable)   cfgr |=  AT91C_MCI_HSMODE_ENABLE;
    else            cfgr &= ~AT91C_MCI_HSMODE_ENABLE;
}