[PATCH RESEND] arm: add DSB after icache flush in __flush_icache_all()

On Tue, Feb 11, 2014 at 09:10:11AM +0000, Vinayak Kale wrote:

Add DSB after icache flush to complete the cache maintenance operation.

Signed-off-by: Vinayak Kale <redacted>
Acked-by: Catalin Marinas <catalin.marinas@arm.com>

I guess what you need to do is add:

Cc: <redacted>

and send the patch to Russell's patch system (and add any other acks you
may get in the meantime).

-- 
Catalin