PHYS_TO_PTE_ADDR_MASK
and \pte, \pte, #PHYS_TO_PTE_ADDR_MASK
return (phys | (phys >> PTE_ADDR_HIGH_SHIFT)) & PHYS_TO_PTE_ADDR_MASK;