X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=4d65e1bdf68980b8d7cfcbd9150162eacf466084;hb=edbf01ab5f8bca57472150a02543971da231eec1;hp=8a0df6e254052ff7c8a8ee1b44fda01876fc1e4e;hpb=76a72158378a6447bb3dbce5bae41db48da0d64f;p=pintos-anon

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 8a0df6e..4d65e1b 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -2,6 +2,7 @@
 #define HEADER_THREAD_H 1
 
 #include <stdint.h>
+#include "debug.h"
 #include "list.h"
 
 #ifdef USERPROG
@@ -27,10 +28,8 @@ struct thread
 #endif
   };
 
-void thread_init (void);
-
-struct thread *thread_create (const char *name,
-                              void (*function) (void *aux), void *aux);
+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);
 
@@ -38,14 +37,10 @@ struct thread *thread_current (void);
 bool thread_execute (const char *filename);
 #endif
 
-void thread_start (struct thread *);
 void thread_ready (struct thread *);
-void thread_exit (void);
+void thread_exit (void) NO_RETURN;
 
 void thread_yield (void);
 void thread_sleep (void);
-void thread_schedule (void);
-
-void thread_self_test (void);
 
 #endif /* thread.h */