pmap_dump_kextract
pa = pmap_dump_kextract(va, NULL);
pmap_dump_kextract(va, (pt2_entry_t *)addr);
vm_paddr_t pmap_dump_kextract(vm_offset_t, pt2_entry_t *);