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

[Vinayak Kale]

On Mon, Jan 27, 2014 at 5:55 PM, Catalin Marinas
<catalin.marinas at arm.com> wrote:
> On Mon, Jan 27, 2014 at 11:59:44AM +0000, Vinayak Kale wrote:
>> Add DSB after icache flush operation.
>>
>> Signed-off-by: Vinayak Kale <vkale at apm.com>
>
> 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.
Okay, will mention this. Thanks.
>
> --
> Catalin