uvmdealloc        160 kernel/defs.h  uint64          uvmdealloc(pagetable_t, uint64, uint64);
uvmdealloc        248 kernel/proc.c      sz = uvmdealloc(p->pagetable, sz, sz + n);
uvmdealloc        229 kernel/vm.c          uvmdealloc(pagetable, a, oldsz);
uvmdealloc        235 kernel/vm.c          uvmdealloc(pagetable, a, oldsz);