barebox / arch / arm / dts / tegra30.dtsi

/ {
	aliases {
		mmc0 = "/sdhci@78000000/";
		mmc1 = "/sdhci@78000200/";
		mmc2 = "/sdhci@78000400/";
		mmc3 = "/sdhci@78000600/";
	};
};