Symbol: pte_prot_t