Fix extra decref of shared_page
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 16 Aug 2016 17:55:35 +0000 (13:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 29 Nov 2016 16:27:40 +0000 (11:27 -0500)
We should never be freeing shared_page once it is allocated.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/env.c

index 2abc57c..5b51952 100644 (file)
@@ -86,7 +86,6 @@ env_setup_vm_error:
 env_setup_vm_error_d:
        free_cont_pages(e->procinfo, LOG2_UP(PROCINFO_NUM_PAGES));
 env_setup_vm_error_i:
-       page_decref(shared_page);
        env_user_mem_free(e, 0, UVPT);
        env_pagetable_free(e);
        return -ENOMEM;