CONFIG_MMC_TMIO_CORE (not configurable)
modulename: tmio_mmc_core.ko
configname: CONFIG_MMC_TMIO_CORE
Linux Kernel Configuration
└─>Device Drivers
└─>MMC/SD/SDIO card support
└─>MMC_TMIO_CORE