pmap_l3pte
pmap_l3pte(pmap, sva, l2pte);
l3pte = pmap_l3pte(pmap, sva, l2pte);
pte = pmap_l3pte(pmap, va, l2pte);
pte = pmap_l3pte(pmap, va, NULL);
l3pte = pmap_l3pte(pmap, va, l2pte);
pte = pmap_l3pte(pmap, va, NULL);
pte = pmap_l3pte(pmap, v, NULL);
pmap_l3pte(pmap_kernel(), va, l2pte_); \
static __inline pt_entry_t *pmap_l3pte(pmap_t, vaddr_t, pt_entry_t *);