dump_pmap
static void dump_pmap(pmap_t pmap, pt_entry_t pte, int level, vm_offset_t base);
dump_pmap(&iso_pmap, vtophys(iso_pmap.pm_pml4), 0, 0);
dump_pmap(kernel_pmap, vtophys(kernel_pmap->pm_pml4), 0, 0);
dump_pmap(pmap, ptp[i], level + 1, base);