X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Fthread.h;h=1dfde5ac9b03867f94a545f08cc2a7bb2ac83435;hb=c9d103e3fc1f398acb10bbaa66bf5a61318d26e9;hp=c4520580fcbca7b20bc1596eeb7bcc538db06d10;hpb=476eef1e2009a13352732b0d41b37c426050eaac;p=pintos-anon

diff --git a/src/threads/thread.h b/src/threads/thread.h
index c452058..1dfde5a 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -37,7 +37,8 @@ struct thread
 void thread_init (void);
 void thread_start (void) NO_RETURN;
 
-struct thread *thread_create (const char *name, void (*) (void *aux), void *);
+typedef void thread_func (void *aux);
+struct thread *thread_create (const char *name, thread_func *, void *);
 #ifdef USERPROG
 bool thread_execute (const char *filename);
 #endif