add pcie wifi rtl88x2CE driver

hc

2024-05-08 f309769f8af08599af39b6de4f675784ce76530d

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