pmap_l2pte
saved_l2pte = l2pte = pmap_l2pte(pmap, sva, l1pte);
if (pmap_pte_v(pmap_l2pte(pv->pv_pmap, pv->pv_va, NULL)) == 0 ||
l2pte = pmap_l2pte(pmap, sva, l1pte);
l2pte = pmap_l2pte(pmap, va, l1pte);
l2pte = pmap_l2pte(pmap, va, l1pte);
l2pte = pmap_l2pte(kpm, va, l1pte);
l2pte = pmap_l2pte(pmap, va, l1pte);
l2pte_ = pmap_l2pte(pmap_kernel(), va, l1pte_); \
static __inline pt_entry_t *pmap_l2pte(pmap_t, vaddr_t, pt_entry_t *);