pmap_pte_walk
static void pmap_pte_walk(pml1_entry_t *l1, vm_offset_t va);
pmap_pte_walk(pmap->pm_pml1, va);
pmap_pte_walk(pmap->pm_pml1, pv->pv_va);