pmap_pml5e_index
pml5_idx = pmap_pml5e_index(va);
return (&pmap->pm_pmltop[pmap_pml5e_index(va)]);
return (&pmap->pm_pmltopu[pmap_pml5e_index(va)]);
} else if (i == pmap_pml5e_index(UPT_MAX_ADDRESS)) {
pm_pml5u[pmap_pml5e_index(UPT_MAX_ADDRESS)] =
pml5index = pmap_pml5e_index(va);
pml5index = pmap_pml5e_index(va);