Symbol: PTE_RPN_MASK