162306a36Sopenharmony_ci#include <xen/arm/page.h> 262306a36Sopenharmony_ci#include <asm/mmu.h> 362306a36Sopenharmony_ci 462306a36Sopenharmony_cistatic inline bool xen_kernel_unmapped_at_usr(void) 562306a36Sopenharmony_ci{ 662306a36Sopenharmony_ci return arm64_kernel_unmapped_at_el0(); 762306a36Sopenharmony_ci} 8