ptokpmp
if (ptokpmp(tpgs) < 1 || pmodkpmp(pt_base) ||
start = kpmptop(ptokpmp(base));
end = kpmptop(ptokpmp(base + npgs));
nkpmpgs_prelim = ptokpmp(end - start);
start = kpmptop(ptokpmp(base));
nkpmpgs = ptokpmp(end - start);
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));
kbase = ptokpmp(msp->kpm_pbase);
start = kpmptop(ptokpmp(lo->pages_base));
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;
lo->kpm_nkpmpgs = ptokpmp(end - start);
kstart = ptokpmp(mid->pages_base);
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;
mid->kpm_nkpmpgs = ptokpmp(end - start);
kstart = ptokpmp(hi->pages_base);
end = kpmptop(ptokpmp(start + num - 1)) + kpmpnpgs;
hi->kpm_nkpmpgs = ptokpmp(end - start);