pmap_pte
iptep = pmap_pte(ipmap, iva); \
if ((pte = pmap_pte(pmap, addr)) != NULL) {
static __inline pt_entry_t *pmap_pte(pmap_t pmap, vm_offset_t va);
return pmap_pte(pmap, va);
ptep = pmap_pte(pmap, addr);
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, pv->pv_va);
pte = pmap_pte(pmap, pv->pv_va);
pte = pmap_pte(pmap, va);
pte = pmap_pte(pmap, pv->pv_va);
pte = pmap_pte(pv->pv_pmap, pv->pv_va);
pte = pmap_pte(pv->pv_pmap, pv->pv_va);
pte = pmap_pte(pv->pv_pmap, pv->pv_va);
ptep = pmap_pte(pmap, addr);
x = pmap_pte(kernel_pmap, va);
pte = pmap_pte(kernel_pmap, va);