/* Register the Kinetis-specific ESDHC devices with the kernel  */
void __init kinetis_esdhc_init(void)
/* Register the Kinetis-specific ESDHC devices with the kernel  */
void __init kinetis_esdhc_init(void)
{
	kinetis_esdhc_register();
}