Symbol: pte_prot