Symbol: pmap_remove_ept
sys/arch/amd64/amd64/pmap.c
1798
pmap_remove_ept(pmap, sva, eva);
sys/arch/amd64/amd64/pmap.c
338
void pmap_remove_ept(struct pmap *, vaddr_t, vaddr_t);