关于双SD卡驱动问题

doonny

kernel自带的sd卡驱动，工作正常，系统上电从sd卡读取boot.bin devicetree u-boot zimage等，
现在增加第二个sd controller，在fsbl和devicetree里都做了修改，boot后又信息：

>mmc0: Invalid maximum block size, assuming 512 bytes
>mmc0: SDHCI controller on e0100000.ps7-sdio [e0100000.ps7-sdio] using ADMA
>mmc1: Invalid maximum block size, assuming 512 bytes
>mmc1: SDHCI controller on e0101000.ps7-sdio [e0101000.ps7-sdio] using ADMA

mmc0为默认sd卡，工作正常，mmc1为新增，说明两个驱动器都能工作，但是把sd卡插入mmc1，提示下面错误（dmesg）：
>mmc1: Got command interrupt 0x00030000 even though no command operation was in progress.

在/dev下查询不到加载设备，还请教各位大牛是怎么回事？ 感觉应该是插入卡检测后发出了中断，但kernel没有执行中断程序，有什么办法定位问题吗？怎样才能知道中断程序是否执行了？