enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/arm64/include/asm/xen/page.h
..
..
@@ -1 +1,7 @@
1
1
 #include <xen/arm/page.h>
2
+#include <asm/mmu.h>
3
+
4
+static inline bool xen_kernel_unmapped_at_usr(void)
5
+{
6
+	return arm64_kernel_unmapped_at_el0();
7
+}