diff options
| author | Ben Hutchings <ben@decadent.org.uk> | 2018-07-12 00:18:22 +0100 |
|---|---|---|
| committer | Will Deacon <will.deacon@arm.com> | 2018-07-27 13:12:15 +0100 |
| commit | c5157101e7793b42a56e07368c7f4cb73fb58008 (patch) | |
| tree | 14d157064055f0e368e54ff0d0ff047f9f0f2237 /arch/arm64/mm/flush.c | |
| parent | 0b3e336601b82c6afa0e9cf21db9cb8793e25399 (diff) | |
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>
Diffstat (limited to 'arch/arm64/mm/flush.c')
| -rw-r--r-- | arch/arm64/mm/flush.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/arm64/mm/flush.c b/arch/arm64/mm/flush.c index 9786f9d5d3dc..30695a868107 100644 --- a/arch/arm64/mm/flush.c +++ b/arch/arm64/mm/flush.c @@ -66,6 +66,7 @@ void __sync_icache_dcache(pte_t pte) sync_icache_aliases(page_address(page), PAGE_SIZE << compound_order(page)); } +EXPORT_SYMBOL_GPL(__sync_icache_dcache); /* * This function is called when a page has been modified by the kernel. Mark |