pmap_extract
paddr = pmap_extract(pmap, vaddr, &handle);
paddr = pmap_extract(pmap, vaddr, &handle);
return pmap_extract(pmap, vaddr, NULL);
return pmap_extract(pmap, vaddr, NULL);
if (pmap_extract(pmap, addr, NULL))
vm_paddr_t pmap_extract (pmap_t pmap, vm_offset_t va, void **handlep);