Symbol: pmap_map_ptes_86