Symbol: pte_enter