Clean up threads.c.

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

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 4d65e1bdf68980b8d7cfcbd9150162eacf466084..356fc30b68030f2c8b9ad2f6e3b6dee6c309c7f9 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -11,6 +11,7 @@
 
 enum thread_status 
   {
+    THREAD_INITIALIZING,
     THREAD_RUNNING,
     THREAD_READY,
     THREAD_BLOCKED,
@@ -29,17 +30,17 @@ struct thread
   };
 
 void thread_init (const char *name, void (*) (void *aux), void *) NO_RETURN;
-struct thread *thread_create (const char *name, void (*) (void *aux), void *);
-void thread_destroy (struct thread *);
-struct thread *thread_current (void);
 
+struct thread *thread_create (const char *name, void (*) (void *aux), void *);
 #ifdef USERPROG
 bool thread_execute (const char *filename);
 #endif
 
+void thread_destroy (struct thread *);
 void thread_ready (struct thread *);
-void thread_exit (void) NO_RETURN;
 
+struct thread *thread_current (void);
+void thread_exit (void) NO_RETURN;
 void thread_yield (void);
 void thread_sleep (void);