pmap_table_insert
st = pmap_table_insert(pmap, st1, pmap_st1_index(va),
pt = pmap_table_insert(pmap, st, pmap_st_index(va), pmap_segnum(va),