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