SDHCI support for the BCM2835 & iProc SD/MMC Controller

modulename: sdhci-iproc.ko

configname: CONFIG_MMC_SDHCI_IPROC

Linux Kernel Configuration
└─>Device Drivers
└─>MMC/SD/SDIO card support
└─>SDHCI support for the BCM2835 & iProc SD/MMC Controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This selects the iProc SD/MMC controller.

If you have a BCM2835 or IPROC platform with SD or MMC devices,
say Y or M here.

If unsure, say N.

source code:
drivers/mmc/host/sdhci-iproc.c