SDHCI OF support for the Atmel SDMMC controller

modulename: sdhci-of-at91.ko

configname: CONFIG_MMC_SDHCI_OF_AT91

Linux Kernel Configuration
└─>Device Drivers
└─>MMC/SD/SDIO card support
└─>Device Tree and Open Firmware support
└─>SDHCI OF support for the Atmel SDMMC controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This selects the Atmel SDMMC driver

source code: