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

From: [email-masked] (Catalin Marinas)
Date: Mon, 27 Jan 2014 12:25:37 +0000

On Mon, Jan 27, 2014 at 11:59:44AM +0000, Vinayak Kale wrote:
> Add DSB after icache flush operation.
> 
> Signed-off-by: Vinayak Kale <[email-masked]>

I think we should also mention that this function is used for user
addresses and an ISB is not required because of an exception return
before executing user instructions.

-- 
Catalin