Symbol: pmap_release_free_page
sys/platform/vkernel64/platform/pmap.c
1511
if (pmap_release_free_page(pmap, info.mpte))
sys/platform/vkernel64/platform/pmap.c
1534
if (pmap_release_free_page(info->pmap, p)) {
sys/platform/vkernel64/platform/pmap.c
182
static int pmap_release_free_page (pmap_t pmap, vm_page_t p);