Symbol: pmap_set_pte