Symbol: pte_set