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