Symbol: pte_accessible