uvmdealloc        161 kernel/defs.h  uint64          uvmdealloc(pagetable_t, uint64, uint64);
uvmdealloc        250 kernel/proc.c      sz = uvmdealloc(p->pagetable, sz, sz + n);
uvmdealloc        230 kernel/vm.c          uvmdealloc(pagetable, a, oldsz);
uvmdealloc        237 kernel/vm.c          uvmdealloc(pagetable, a, oldsz);