--- rk3x_kernel_3.0.36/drivers/mmc/host/rk29_sdmmc.c	2013-06-14 16:19:04.455088040 +0200
+++ linux-rt/rk3x_kernel_3.0.36/drivers/mmc/host/rk29_sdmmc.c	2013-07-04 13:12:49.946467553 +0200
@@ -361,7 +361,11 @@
 	    }
 	    else
 	    {
+#ifdef CONFIG_PREEMPT_RT_FULL
+		disable_irq_nosync(host->irq);
+#else
 	        disable_irq(host->irq);
+#endif
 	    }
 	}
 	local_irq_restore(flags);