7 lines
144 B
C
Executable file
7 lines
144 B
C
Executable file
#include <xen/arm/page.h>
|
|
#include <asm/mmu.h>
|
|
|
|
static inline bool xen_kernel_unmapped_at_usr(void)
|
|
{
|
|
return arm64_kernel_unmapped_at_el0();
|
|
}
|