modify sin led gpio

hc

2024-05-13 9d77db3c730780c8ef5ccd4b66403ff5675cfe4e

 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
+}