Lines Matching defs:pmap
37 #include <i386/pmap.h>
69 addr64_t kdp_vtophys(pmap_t pmap, addr64_t va);
82 pmap_t pmap,
88 pp = pmap_find_phys(pmap, va);
120 /* If a different pmap has been specified with kdp_pmap, use it to translate the
407 pmap_traverse_present_mappings(pmap_t pmap,
417 /* Assumes pmap is locked, or being called from the kernel debugger */
428 ppnum_t ppn = pmap_find_phys(pmap, vcur);
454 pde = pmap_pde(pmap, vcur);
581 printf("pmap traversal failed: %d\n", ret);
648 kprintf("pmap traversal failed: %d\n", ret);