VSTOVA
p = (char *)VSTOVA(vreg, vseg); /* seg..seg+sz rather than 0..sz */
p = (char *)VSTOVA(vreg, vseg); /* seg..seg+sz rather than 0..sz */
va = VSTOVA(me->me_vreg, me->me_vseg);
va = VSTOVA(me->me_vreg,me->me_vseg);
vaddr_t va = VSTOVA(vr,vs);
va = VSTOVA(vr,vs);
tlb_flush_segment(VSTOVA(vr,vs), pm->pm_ctxnum,
nva = VSTOVA(vr, vs + 1);
nva = VSTOVA(vr,vs + 1);
nva = VSTOVA(vr,vs + 1);
nva = VSTOVA(vr, vs + 1);
nva = VSTOVA(vr, vs + 1);