pmap_pte
extern pt_entry_t *pmap_pte(pmap_t, vaddr_t);
pte = pmap_pte(pmap_kernel(), va);
if ((pte = pmap_pte(pmap_kernel(), va)) == NULL)
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, pvep->pv_va);
pt_entry_t *pmap_pte(pmap_t, vaddr_t);
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, va);
if ((pte = pmap_pte(pmap_kernel(), va)) == NULL)
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, va);
if ((pte = pmap_pte(pmap_kernel(), curpa)) == NULL)
if ((pte = pmap_pte(pmap, va)) == NULL) {