Symbol: pmap_remove_page
sys/platform/vkernel64/platform/pmap.c
173
static void pmap_remove_page (struct pmap *pmap, vm_offset_t va);
sys/platform/vkernel64/platform/pmap.c
1953
pmap_remove_page(pmap, sva);