pmap_remove_range
pmap_remove_range(pmap, sva, eva);
void pmap_remove_range(pmap_t, vaddr_t, vaddr_t);