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)
commit5fd245f9c3a9af098a98fcadf0c2012c27e96a30
tree3f642a0343d8cabef2169f18d0e3b22565c6b9f8
parent98b92b40dcb0b3114fbb6a48f9a56bee3588b4a9
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