xen: arm: remove unnecessary cache flush in write_pte
authorIan Campbell <ian.campbell@citrix.com>
Wed, 17 Jul 2013 11:19:28 +0000 (12:19 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 29 Jul 2013 15:54:48 +0000 (16:54 +0100)
commit225ece46211328723a79f13152cb904c0b0f38b2
treeac903393dfee900d81a2eb7d35d4d4fff116827c
parentcda3deadd4d67ae9d9e8a694774bd3f6cb0c3943
xen: arm: remove unnecessary cache flush in write_pte

On a ARMv7/v8 SMP system the MMU is coherent

Suggested-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
[ ijc -- dropped the associated dsb too ]
xen/include/asm-arm/arm32/page.h
xen/include/asm-arm/arm64/page.h