page.h (144B)
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}