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

[Catalin Marinas]

On Wed, Feb 05, 2014 at 09:33:02AM +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>