PTE_ADDR_HIGH_SHIFT
orr \pte, \phys, \phys, lsr #PTE_ADDR_HIGH_SHIFT
((pte_val(pte) & PTE_ADDR_HIGH) << PTE_ADDR_HIGH_SHIFT);
return (phys | (phys >> PTE_ADDR_HIGH_SHIFT)) & PHYS_TO_PTE_ADDR_MASK;