Don't destroy current thread's pagedir before activating a different

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

diff --git a/src/threads/thread.h b/src/threads/thread.h
index aab1a73902410757eac49b628ecf2e58670bc978..e8927def25ebc99594a541425096ddc6eff8c4e4 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -43,12 +43,12 @@ struct thread *thread_create (const char *name, thread_func *, void *);
 bool thread_execute (const char *filename);
 #endif
 
-void thread_wake (struct thread *);
+void thread_unblock (struct thread *);
 const char *thread_name (struct thread *);
 
 struct thread *thread_current (void);
 void thread_exit (void) NO_RETURN;
 void thread_yield (void);
-void thread_sleep (void);
+void thread_block (void);
 
 #endif /* thread.h */