xv7/kernel/vm.c
// Free user memory pages,
// then free page-table pages.
Free user memory pages,
then free page-table pages.
Free user memory pages then free page - table pages .
void
uvmfree(pagetable_t pagetable, uint64 sz)
{
  uvmunmap(pagetable, 0, sz, 1);
  freewalk(pagetable);
}
void uvmfree ( pagetable_t pagetable , uint64 sz ) { uvmunmap ( pagetable , 0 , sz , 1 ) ; freewalk ( pagetable ) ; }
Free user memory pages,
then free page-table pages.
Free user memory pages then free page - table pages .