uvmfree           168 kernel/defs.h  void            uvmfree(pagetable_t, uint64);
uvmfree           192 kernel/proc.c      uvmfree(pagetable, 0);
uvmfree           201 kernel/proc.c      uvmfree(pagetable, 0);
uvmfree           215 kernel/proc.c    uvmfree(pagetable, sz);