set_segmap
set_segmap(va, SEGINV);
set_segmap(va, SEGINV);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, SEGINV);
set_segmap(segva, sme);
set_segmap(temp_seg_va, sme);
set_segmap(temp_seg_va, SEGINV);
set_segmap(segva, SEGINV);
set_segmap(segva, SEGINV);
set_segmap(temp_seg_va, sme);
set_segmap(temp_seg_va, SEGINV);
set_segmap(temp_seg_va, sme);
set_segmap(temp_seg_va, SEGINV);
set_segmap(temp_seg_va, pmeg_num);
set_segmap(temp_seg_va, SEGINV);
set_segmap(temp_seg_va, pmeg_num);
set_segmap(temp_seg_va, SEGINV);
set_segmap(va, SEGINV);
set_segmap(sva, SEGINV);
set_segmap(temp_seg_va, sme);
set_segmap(temp_seg_va, SEGINV);
void set_segmap(vaddr_t, int);
set_segmap(va, SEGINV);
set_segmap(va, SEGINV);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, sme);
set_segmap(segva, SEGINV);
set_segmap(segva, SEGINV);
set_segmap(segva, sme);
set_segmap(segva, SEGINV);
set_segmap(temp_seg_va, sme);
set_segmap(temp_seg_va, SEGINV);
set_segmap(temp_seg_va, pmeg_num);
set_segmap(temp_seg_va, SEGINV);
set_segmap(temp_seg_va, pmeg_num);
set_segmap(temp_seg_va, SEGINV);
set_segmap(va, SEGINV);
set_segmap(sva, SEGINV);
set_segmap(0, sme);
set_segmap(0, SEGINV);
void set_segmap(vaddr_t, int);