pmap_l1_pindex
nkpg->pindex = pmap_l1_pindex(kernel_vm_end);
mp = _pmap_alloc_l3(pmap, pmap_l1_pindex(va), NULL);
pindex = pmap_l1_pindex(va);