pmap_l2
l2 = pmap_l2(kernel_pmap, va);
l2 = pmap_l2(pmap, va);
l2p = pmap_l2(pmap, va);
l2p = pmap_l2(pmap, va);
pde = pmap_l2(pmap, va);
pmap_remove_l3_range(pmap, pmap_load(pmap_l2(pmap, va)), va,
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2p = pmap_l2(pmap, va);
l2p = pmap_l2(pmap, va);
l2 = pmap_l2(kernel_pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, pv->pv_va);
l2 = pmap_l2(pmap, va);
l2 = pmap_l2(pmap, addr);