PT_TOP_PHYS_MASK
PT_TOP_PHYS_MASK = GENMASK_ULL(51, 12),
PT_TOP_PHYS_MASK = GENMASK_ULL(55, 12),
PT_TOP_PHYS_MASK = GENMASK_ULL(63, 12),