Symbol: pmap_pte_update