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