pmap_pml4_pindex
pv = pmap_allocpte(pmap, pmap_pml4_pindex(), NULL);
pv = pmap_allocpte(pmap, pmap_pml4_pindex() + 1, NULL);
} else if (ptepindex < pmap_pml4_pindex()) {
pvp = pmap_allocpte(pmap, pmap_pml4_pindex(), NULL);
} else if (pv->pv_pindex < pmap_pml4_pindex()) {
pindex = pmap_pml4_pindex();
if (pv->pv_pindex >= pmap_pml4_pindex()) {
if (ptepindex >= pmap_pml4_pindex()) {
pml4_pindex = pmap_pml4_pindex();
pvp->pv_pindex < pmap_pml4_pindex()) {