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