pmap_l1pte
l1pte_ = pmap_l1pte(kernel_lev1map, va); \
l1pte = pmap_l1pte(lev1map, sva);
l1pte = pmap_l1pte(lev1map, sva);
l1pte = pmap_l1pte(lev1map, va);
l1pte = pmap_l1pte(lev1map, va);
l1pte = pmap_l1pte(kernel_lev1map, va);
l1pte = pmap_l1pte(lev1map, va);
l1pte = pmap_l1pte(lev1map, v);
l1pte = pmap_l1pte(lev1map, v);