Symbol: ARM_PTE_ADDRESS_MASK