Merge branch 'restart-cleanup' into restart
[~shefty/rdma-dev.git] / arch / arm / kernel / process.c
index 1e8b3e2de7a3b0ead2cfd2aaa87de146d3fc8325..eeb3e16c60465616067d7681a47b35f8752c4d78 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();