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