On Tue, 2018-12-18 at 10:36 +0100, Helmut Grohne wrote:
> Hi,
> 
> During a compile test of v4.20-rc7 for armhf (cross build), I
> encountered:
> 
> ERROR: "__sync_icache_dcache" [drivers/xen/xen-privcmd.ko] undefined!
> 
> Some searching brought up c5157101e77 ("arm64: mm: Export
> __sync_icache_dcache() for xen-privcmd"), which fixes a very similar
> problem for arm64. Is that commit maybe also needed for arm?

Yes, I submitted the corresponding patch some months ago:
<https://marc.info/?l=linux-arm-kernel&m=153134944429241>

Ben.

> Helmut
-- 
Ben Hutchings
Anthony's Law of Force: Don't force it, get a larger hammer.