pmap_treelookup_pv
return pmap_treelookup_pv(pmap, ptp, tree, va);
*old_pve = pmap_treelookup_pv(pmap, ptp, tree, va);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == pve);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
KASSERT(pmap_treelookup_pv(pmap, ptp, (ptp != NULL ?
KASSERT(pmap_treelookup_pv(pmap, ptp, (ptp != NULL ?
pve = pmap_treelookup_pv(pmap, ptp, tree, va);
old_pve = pmap_treelookup_pv(pmap, ptp, tree, va);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
old_pve = pmap_treelookup_pv(pmap, ptp, tree, va);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
old_pve = pmap_treelookup_pv(pmap, ptp, tree, va);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
KASSERT(pmap_treelookup_pv(pmap, ptp, tree, va) == NULL);
KASSERT(pmap_treelookup_pv(pmap, ptp, (ptp != NULL ?