18c2ecf20Sopenharmony_ci#include <xen/arm/page.h>
28c2ecf20Sopenharmony_ci
38c2ecf20Sopenharmony_cistatic inline bool xen_kernel_unmapped_at_usr(void)
48c2ecf20Sopenharmony_ci{
58c2ecf20Sopenharmony_ci	return false;
68c2ecf20Sopenharmony_ci}
7