uvmfree           163 kernel/defs.h  void            uvmfree(pagetable_t, uint64);
uvmfree           191 kernel/proc.c      uvmfree(pagetable, 0);
uvmfree           200 kernel/proc.c      uvmfree(pagetable, 0);
uvmfree           214 kernel/proc.c    uvmfree(pagetable, sz);