Symbol: __pte_update