pmap_extract_info
bool pmap_extract_info(pmap_t, vaddr_t, paddr_t *, int *);
rv = pmap_extract_info(pmap, vaddr, &curaddr, &cacheable);
return pmap_extract_info(pmap, va, pap, NULL);
rv = pmap_extract_info(pmap_kernel(), va, &pa, NULL);