projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
c076973
)
Only call addrspace_destroy() if USERPROG.
author
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 1 Sep 2004 22:55:29 +0000
(22:55 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 1 Sep 2004 22:55:29 +0000
(22:55 +0000)
src/threads/thread.c
patch
|
blob
|
history
diff --git
a/src/threads/thread.c
b/src/threads/thread.c
index e31d838da14a3c5012c6f8b5affd582c6885952c..c9bc8ee2bb8c9fc75bfc799c10e615fd033a2fe3 100644
(file)
--- a/
src/threads/thread.c
+++ b/
src/threads/thread.c
@@
-337,7
+337,9
@@
destroy_thread (struct thread *t)
ASSERT (t->status == THREAD_DYING);
ASSERT (t != thread_current ());
ASSERT (t->status == THREAD_DYING);
ASSERT (t != thread_current ());
+#ifdef USERPROG
addrspace_destroy (t);
addrspace_destroy (t);
+#endif
palloc_free (t);
}
palloc_free (t);
}