请问有什么方法可以帮助我检测到SDIO设备呢

使用OKMX6Q_C的开发板，添加了RTL的sdioWiFi模块的驱动，之后模块插入开发板的大SD卡槽，无法检测到SDIO设备，通过插TF卡得知，注册的设备为mmc2，通过咨询飞凌工程师得知sdio3座子和大SD卡槽是同一线路，请问有什么思路可以帮助我检测到SDIO设备？