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