Rename addrspace to process.

[pintos-anon] / src / threads / thread.c

diff --git a/src/threads/thread.c b/src/threads/thread.c
index fc358de69a4fe6a3cab2dff5dc594d43515d242c..0861e29533b67a59e3b4a248311735deeb2b6d5b 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -12,7 +12,7 @@
 #include "threads/switch.h"
 #include "threads/synch.h"
 #ifdef USERPROG
-#include "userprog/addrspace.h"
+#include "userprog/process.h"
 #include "userprog/gdt.h"
 #endif
 
@@ -357,7 +357,7 @@ destroy_thread (struct thread *t)
   ASSERT (t != thread_current ());
 
 #ifdef USERPROG
-  addrspace_destroy (t);
+  process_destroy (t);
 #endif
   if (t != initial_thread)
     palloc_free (t);
@@ -387,7 +387,7 @@ schedule_tail (struct thread *prev)
 
 #ifdef USERPROG
   /* Activate the new address space. */
-  addrspace_activate ();
+  process_activate ();
 #endif
 
   /* If the thread we switched from is dying, destroy it.