This patch avoids ERROR: "__sync_icache_dcache" [drivers/xen/xen-privcmd.ko] undefined! observed when compiling v4.19.34. The xen-privcmd driver, which can be modular, calls set_pte_at() which in turn may call __sync_icache_dcache(). Cc: stable@xxxxxxxxxxxxxxx Signed-off-by: Heinrich Schuchardt <xypron.glpk@xxxxxx> --- arch/arm/mm/flush.c | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/arm/mm/flush.c b/arch/arm/mm/flush.c index 58469623b015..5345f86c56d2 100644 --- a/arch/arm/mm/flush.c +++ b/arch/arm/mm/flush.c @@ -295,6 +295,7 @@ void __sync_icache_dcache(pte_t pteval) if (pte_exec(pteval)) __flush_icache_all(); } +EXPORT_SYMBOL_GPL(__sync_icache_dcache); #endif /* -- 2.20.1
