Change interface of addrspace_load() to provide initial stack pointer.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 04:33:01 +0000 (04:33 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 04:33:01 +0000 (04:33 +0000)
commita2a884ae32b2a9e793c0d6540608bac20e855d86
treeb334c7b3da91163065bc0f221fba042d90eac519
parent0cb604040a1fc50bba532deec45d945150633fe3
Change interface of addrspace_load() to provide initial stack pointer.
destroy_thread() doesn't really need thread in dying state.
src/threads/thread.c
src/userprog/addrspace.c
src/userprog/addrspace.h