XEN_PHYSICAL_MASK
#define XEN_PHYSICAL_MASK __sme_clr((1UL << 52) - 1)
#define XEN_PHYSICAL_MASK __PHYSICAL_MASK