Symbol: pmap_get_mapping
sys/amd64/include/pmap.h
427
void pmap_get_mapping(pmap_t pmap, vm_offset_t va, uint64_t *ptr, int *num);
sys/amd64/vmm/vmm_dev_machdep.c
485
pmap_get_mapping(vmspace_pmap(vm_vmspace(vm)), gpapte->gpa,