On Sat, Apr 13, 2019 at 06:30:52PM +0200, Heinrich Schuchardt wrote:
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().
Maybe that really is a sign that it should not be modular..