From c9d103e3fc1f398acb10bbaa66bf5a61318d26e9 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Sep 2004 22:55:29 +0000
Subject: [PATCH] Only call addrspace_destroy() if USERPROG.

---
 src/threads/thread.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/threads/thread.c b/src/threads/thread.c
index e31d838..c9bc8ee 100644
--- 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 ());
 
+#ifdef USERPROG
   addrspace_destroy (t);
+#endif
   palloc_free (t);
 }
 
-- 
2.30.2