X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=a5308aac3682802064f4910c945b2551cddece7a;hb=102ba3ee754e0cdc61ad66a3322e92e3d15fe171;hp=356fc30b68030f2c8b9ad2f6e3b6dee6c309c7f9;hpb=787ccae300cef13f0dabd4d6b0633b90d783dbc5;p=pintos-anon

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 356fc30..a5308aa 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -29,7 +29,8 @@ struct thread
 #endif
   };
 
-void thread_init (const char *name, void (*) (void *aux), void *) NO_RETURN;
+void thread_init (void);
+void thread_start (void) NO_RETURN;
 
 struct thread *thread_create (const char *name, void (*) (void *aux), void *);
 #ifdef USERPROG