pmap_extract
v = pmap_extract(kernel_pmap, v);
hpa = pmap_extract(pmap, gpa);
KASSERT(vm_page_wired(PHYS_TO_VM_PAGE(pmap_extract(
paddr = pmap_extract(pmap, vaddr);
curaddr = pmap_extract(pmap, (vm_offset_t)vaddr);
return (pmap_extract(pmap, addr) == 0);
if (pmap_extract(kernel_pmap, addr) == 0)
pa = pmap_extract(pmap, va); /* offset is preserved */
paddr = pmap_extract(pmap, vaddr);
curaddr = pmap_extract(pmap, (vm_offset_t)vaddr);
v = pmap_extract(kernel_pmap, v);
pa = pmap_extract(kernel_pmap, (vm_offset_t)mpentry_spintable);
pa = pmap_extract(kernel_pmap, (vm_offset_t)mpentry_psci);
pa = pmap_extract(pmap, va);
paddr = pmap_extract(pmap, pstart);
me->me_paddr = pmap_extract(
md->physaddr = pmap_extract(pmap, ioc->u.md.virt_addr);
pa = pmap_extract(kernel_pmap, addr);
if (pmap_extract(map->pmap, addr))
paddr = pmap_extract(pmap, vaddr);
paddr = pmap_extract(pmap, vaddr);
pa = pmap_extract(pm, va);
paddr = pmap_extract(pmap, vaddr);
curaddr = pmap_extract(pmap, (vm_offset_t)vaddr);
if (pmap_extract(kernel_pmap, va) == 0) {
paddr = pmap_extract(pmap, vaddr);
curaddr = pmap_extract(pmap, (vm_offset_t)vaddr);
v = pmap_extract(kernel_pmap, v);
vm_paddr_t pmap_extract(pmap_t pmap, vm_offset_t va);
if (pa != pmap_extract(pmap, addr))
phys = pmap_extract(kernel_pmap, (vm_offset_t)addr);
phys = trunc_page(pmap_extract(kernel_pmap, (vm_offset_t)va));
paddr = pmap_extract(pmap, vaddr);
curaddr = pmap_extract(pmap, (vm_offset_t)vaddr);