1 #include <xen/arm/page.h>
2 #include <asm/mmu.h>
3 
xen_kernel_unmapped_at_usr(void)4 static inline bool xen_kernel_unmapped_at_usr(void)
5 {
6 	return arm64_kernel_unmapped_at_el0();
7 }
8