pmap_pt
(ptep = pmap_pt(kernel_pmap, va)) != NULL &&
pt = pmap_pt(pmap, va);
pt = pmap_pt(kernel_pmap, kernel_vm_end);
pt = pmap_pt(kernel_pmap, kstart);
if (pmap_pt(pmap, va) == NULL) {
pt = pmap_pt(pmap, va);