xen: arm64: dcache flush
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:57:51 +0000 (08:57 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:52 +0000 (12:14 +0000)
commitfac508273d32e37b40622bd2e874b420541fb7fa
tree8c703519402427ec4425fcf55218cfb0fa2d2d1c
parent1024642c62062dd8e12037ffaab2ed9754d74b35
xen: arm64: dcache flush

Use "dsb sy" instead of bare "dsb", they mean the same on 32-bit but only the
former is valid on 64-bit.

Abstract the actual flush operation into a macro.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/include/asm-arm/arm32/page.h
xen/include/asm-arm/arm64/page.h
xen/include/asm-arm/page.h