uvmunmap          163 kernel/defs.h  void            uvmunmap(pagetable_t, uint64, uint64, int);
uvmunmap          200 kernel/proc.c      uvmunmap(pagetable, TRAMPOLINE, 1, 0);
uvmunmap          213 kernel/proc.c    uvmunmap(pagetable, TRAMPOLINE, 1, 0);
uvmunmap          214 kernel/proc.c    uvmunmap(pagetable, TRAPFRAME, 1, 0);
uvmunmap          254 kernel/vm.c        uvmunmap(pagetable, PGROUNDUP(newsz), npages, 1);
uvmunmap          286 kernel/vm.c        uvmunmap(pagetable, 0, PGROUNDUP(sz)/PGSIZE, 1);
uvmunmap          322 kernel/vm.c      uvmunmap(new, 0, i / PGSIZE, 1);