get_segmap
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(sva);
sme = get_segmap(sva);
int sme = get_segmap(segva);
sme = get_segmap(sva);
sme = get_segmap(sva);
sme = get_segmap(segva);
*cp = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(sva);
sme = get_segmap(temp_seg_va);
int get_segmap(vaddr_t);
sme = get_segmap(va);
sme = get_segmap(v);
sme = get_segmap(v);
sme = get_segmap(segva);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(segva);
sme = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(sva);
sme = get_segmap(sva);
int sme = get_segmap(segva);
sme = get_segmap(sva);
sme = get_segmap(sva);
sme = get_segmap(segva);
*cp = get_segmap(va);
sme = get_segmap(va);
sme = get_segmap(sva);
sme = get_segmap(0);
int get_segmap(vaddr_t);