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

[Catalin Marinas]

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 <vkale at apm.com>
> Acked-by: Catalin Marinas <catalin.marinas at arm.com>

I guess what you need to do is add:

Cc: <stable at vger.kernel.org>

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

-- 
Catalin