arm64: add DSB after icache flush in __flush_icache_all()
authorVinayak Kale <vkale@apm.com>
Wed, 5 Feb 2014 09:34:36 +0000 (09:34 +0000)
committerCatalin Marinas <catalin.marinas@arm.com>
Wed, 5 Feb 2014 10:26:35 +0000 (10:26 +0000)
commit5044bad43ee573d0b6d90e3ccb7a40c2c7d25eb4
tree552f01828ccc178de0e29e4156592292f753f44d
parent40507403485fcb56b83d6ddfc954e9b08305054c
arm64: add DSB after icache flush in __flush_icache_all()

Add DSB after icache flush to complete the cache maintenance operation.
The function __flush_icache_all() is used only for user space mappings
and an ISB is not required because of an exception return before executing
user instructions. An exception return would behave like an ISB.

Signed-off-by: Vinayak Kale <vkale@apm.com>
Acked-by: Will Deacon <will.deacon@arm.com>
Cc: <stable@vger.kernel.org>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
arch/arm64/include/asm/cacheflush.h