X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fthread.c;h=0861e29533b67a59e3b4a248311735deeb2b6d5b;hp=fc358de69a4fe6a3cab2dff5dc594d43515d242c;hb=f0612244c44f4b4f0bc79e3fc882e9f74bd4a3f4;hpb=7f2927ecf1a95b88002b344c5427644e75467beb

diff --git a/src/threads/thread.c b/src/threads/thread.c
index fc358de..0861e29 100644
--- 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.