Hi3516DV500设备树怎么配置呢？

mmc2: SDIO1@0x10040000 {
            compatible = "nebula,sdhci";
            reg = <0x10040000 0x1000>;
            interrupts = <GIC_SPI 52 IRQ_TYPE_LEVEL_HIGH>;
            clocks = <&clock HI3519DV500_MMC2_CLK>, <&clock HI3519DV500_MMC2_HCLK>;
            clock-names = "mmc_clk", "mmc_hclk";
            resets = <&clock 0x36c0 16>, <&clock 0x36c0 17>, <&clock 0x36c0 18>, <&clock 0x36c4 1>;
            reset-names = "crg_reset", "crg_tx", "crg_rx", "dll_reset";
            max-frequency = <150000000>;
            crg_regmap = <&clock>;
            iocfg_regmap = <&ioconfig1>;
            bus-width = <4>;
            cap-sd-highspeed;
            sd-uhs-sdr12;
            sd-uhs-sdr25;
            sd-uhs-sdr50;
            sd-uhs-sdr104;
            full-pwr-cycle;
            disable-wp;
            no-mmc;
            devid = <2>;
            status = "okay";
        };
下面是SD卡的设备树
mmc0: eMMC@0x10020000 {
            compatible = "nebula,sdhci";
            reg = <0x10020000 0x1000>;
            interrupts = <GIC_SPI 50 IRQ_TYPE_LEVEL_HIGH>;
            clocks = <&clock HI3519DV500_MMC0_CLK>, <&clock HI3519DV500_MMC0_HCLK>;
            clock-names = "mmc_clk", "mmc_hclk";
            resets = <&clock 0x34c0 16>, <&clock 0x34c0 17>, <&clock 0x34c0 18>, <&clock 0x34c4 1>;
            reset-names = "crg_reset", "crg_tx", "crg_rx", "dll_reset";
            max-frequency = <150000000>;
            crg_regmap = <&clock>;
            non-removable;
            iocfg_regmap = <&ioconfig0>;
            bus-width = <8>;
            cap-mmc-highspeed;
            mmc-hs200-1_8v;
            mmc-hs400-1_8v;
            mmc-hs400-enhanced-strobe;
            cap-mmc-hw-reset;
            no-sdio;
            no-sd;
            devid = <0>;
            status = "okay";
        };

现在找不到SDIO设备，但是现在出现了两个SD卡的设备