Symbol: pte_insert