pmap_l3pte
pte = pmap_l3pte(pmap_kernel(), va, NULL);
pmap_l3pte(kernel_lev1map, va, l2pte_); \
pmap_l3pte(lev1map, sva, l2pte);
l3pte = pmap_l3pte(lev1map, sva, l2pte);
pte = pmap_l3pte(lev1map, va, l2pte);
pte = pmap_l3pte(pmap_lev1map(pmap), va, NULL);
l3pte = pmap_l3pte(lev1map, va, l2pte);
pte = pmap_l3pte(pmap_lev1map(pmap), va, NULL);
pte = pmap_l3pte(pmap_lev1map(pmap), v, NULL);