add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

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