Fixed env_segment_free bug
authorAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 26 Oct 2009 10:43:19 +0000 (03:43 -0700)
committerAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 26 Oct 2009 10:43:19 +0000 (03:43 -0700)
commit33dfd9163df201fae4aa5b33ee5115ac7f6ddc7e
tree2ca8d3e64b6b3865da53669c3df609a83ac0fe7d
parentaa40b37bb8896a41d37aea1fa7962e98504230f7
Fixed env_segment_free bug

We called page_decref rather than page_remove, so PTEs weren't zeroed.
kern/arch/i386/mmu.h
kern/arch/i386/page_alloc.c
kern/arch/sparc/mmu.h
kern/arch/sparc/page_alloc.c
kern/include/pmap.h
kern/src/env.c
kern/src/manager.c
kern/src/page_alloc.c
kern/src/pmap.c
user/parlib/src/newlib_backend.c