arm64: mm: Export __sync_icache_dcache() for xen-privcmd
authorBen Hutchings <ben@decadent.org.uk>
Wed, 11 Jul 2018 23:18:22 +0000 (00:18 +0100)
committerWill Deacon <will.deacon@arm.com>
Fri, 27 Jul 2018 12:12:15 +0000 (13:12 +0100)
commitc5157101e7793b42a56e07368c7f4cb73fb58008
tree14d157064055f0e368e54ff0d0ff047f9f0f2237
parent0b3e336601b82c6afa0e9cf21db9cb8793e25399
arm64: mm: Export __sync_icache_dcache() for xen-privcmd

The xen-privcmd driver, which can be modular, calls set_pte_at()
which in turn may call __sync_icache_dcache().

The call to __sync_icache_dcache() may be optimised out because it is
conditional on !pte_special(), and xen-privcmd calls pte_mkspecial().
But it seems unwise to rely on this optimisation.

Fixes: 3ad0876554ca ("xen/privcmd: add IOCTL_PRIVCMD_MMAP_RESOURCE")
Acked-by: Catalin Marinas <catalin.marinas@arm.com>
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: Will Deacon <will.deacon@arm.com>
arch/arm64/mm/flush.c