kpmptop
start = kpmptop(ptokpmp(base));
end = kpmptop(ptokpmp(base + npgs));
start = kpmptop(ptokpmp(base));
seg->kpm_pbase = kpmptop(ptokpmp(base));
inx = ptokpmp(kpmptop(ptokpmp(pfn)) - mseg->kpm_pbase);
inx = ptokpmp(kpmptop(ptokpmp(pfn)) - mseg->kpm_pbase); \
msp->kpm_pbase = kpmptop(ptokpmp(msp->pages_base));
start = kpmptop(ptokpmp(lo->pages_base));
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;
start = kpmptop(kstart);
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;
start = kpmptop(kstart);
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;