/* Reads the value of the data transfer timeout count.  */
u32 SDIO_GetTimeOutCounter(void)
/* Reads the value of the data transfer timeout count.  */
u32 SDIO_GetTimeOutCounter(void)
{
    return (SDIO->MMC_TIMEOUTCNT & 0xFF);
}