Symbol: pmap_do_remove_ept
sys/arch/amd64/amd64/pmap.c
2448
pmap_do_remove_ept(pmap, v);
sys/arch/amd64/amd64/pmap.c
339
void pmap_do_remove_ept(struct pmap *, vaddr_t);