Symbol: pte_referenced_p