Symbol: pmap_page_lookup
sys/platform/vkernel64/platform/pmap.c
1138
mpte = pmap_page_lookup(pmap->pm_pteobj, ptepindex);
sys/platform/vkernel64/platform/pmap.c
184
static vm_page_t pmap_page_lookup (vm_object_t object, vm_pindex_t pindex);