pmap_l1
l1 = pmap_l1(kernel_pmap, va);
pte = pmap_l1(kernel_pmap, sva);
pte = pmap_l1(kernel_pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1p = pmap_l1(pmap, va);
pmap_load(pmap_l1(pmap, va)), false, &free, lockp);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(dst_pmap, addr);
l1 = pmap_l1(dst_pmap, addr);
l1 = pmap_l1(pmap, va);
(void)pmap_remove_l2(pmap, l2, va, pmap_load(pmap_l1(pmap, va)), true,
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(kernel_pmap, kernel_vm_end);
l1 = pmap_l1(pmap, sva);
l1 = pmap_l1(pmap, sva);
pmap_load(pmap_l1(pmap, va)), &free, lockp);
pmap_load(pmap_l1(pmap, va)), &free, lockp);
l1 = pmap_l1(pmap, sva);
pte = pmap_l1(pmap, pv->pv_va);
l1 = pmap_l1(pmap, va);
l1 = pmap_l1(kernel_pmap, tmpva);
l1 = pmap_l1(kernel_pmap, tmpva);
l1p = pmap_l1(pmap, va);
l1 = pmap_l1(kernel_pmap, sva);
l1 = pmap_l1(pmap, va);