OSDN Git Service

Merge branch 'restart-cleanup' into restart
[android-x86/kernel.git] / arch / arm / kernel / process.c
index 1e8b3e2..eeb3e16 100644 (file)
@@ -191,6 +191,9 @@ void cpu_idle(void)
 #endif
 
                        local_irq_disable();
+#ifdef CONFIG_PL310_ERRATA_769419
+                       wmb();
+#endif
                        if (hlt_counter) {
                                local_irq_enable();
                                cpu_relax();