1 #include <xen/arm/page.h> 2 #include <asm/mmu.h> 3 4 static inline bool xen_kernel_unmapped_at_usr(void) 5 { 6 return arm64_kernel_unmapped_at_el0(); 7 } 8
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.