Index: linux-4.18.5-rt3/arch/arm64/mm/copypage.c
===================================================================
--- linux-4.18.5-rt3.orig/arch/arm64/mm/copypage.c
+++ linux-4.18.5-rt3/arch/arm64/mm/copypage.c
@@ -20,17 +20,14 @@
 #include <linux/mm.h>
 
 #include <asm/page.h>
-#include <asm/cacheflush.h>
 
-void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr)
+inline void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr)
 {
-	struct page *page = virt_to_page(kto);
 	copy_page(kto, kfrom);
-	flush_dcache_page(page);
 }
 EXPORT_SYMBOL_GPL(__cpu_copy_user_page);
 
-void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
+inline void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
 {
 	clear_page(kaddr);
 }