ARM_LPAE_PTE_ADDR_MASK
return (pte | (pte >> (48 - 12))) & ARM_LPAE_PTE_ADDR_MASK;
u64 paddr = pte & ARM_LPAE_PTE_ADDR_MASK;
return (paddr | (paddr << (48 - 12))) & (ARM_LPAE_PTE_ADDR_MASK << 4);