pmap_kextract
phys = pmap_kextract((vm_offset_t)addr);
phys = trunc_page(pmap_kextract((vm_offset_t)va));
paddr = pmap_kextract((vm_offset_t)addr);
(intmax_t)pmap_kextract((vm_offset_t)cm->cm_data));
*resultp = pmap_kextract((vm_offset_t)p->p_upmap +
*resultp = pmap_kextract((vm_offset_t)kpmap + offset);
*resultp = pmap_kextract((vm_offset_t)lp->lwp_lpmap +
if ((paddr = pmap_kextract(addr)) == 0)
paddr = pmap_kextract(vaddr);
paddr = pmap_kextract(vaddr);
lastaddr = pmap_kextract(vaddr);
paddr = pmap_kextract(vaddr);
bpage->busaddr = pmap_kextract(bpage->vaddr);
return pmap_kextract(vaddr);
if (pmap_kextract(addr) == 0)
bpage->busaddr = pmap_kextract(bpage->vaddr);
return pmap_kextract(vaddr);
if (pmap_kextract(addr) == 0)
vm_paddr_t pmap_kextract(vm_offset_t);
#define vtophys(va) pmap_kextract(((vm_offset_t)(va)))
#define vtophys_pte(va) ((pt_entry_t)pmap_kextract(((vm_offset_t)(va))))
pa = pmap_kextract((vm_offset_t)addr);