X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=1f17a9c8e5b033b4c88580b313fc78dc8454b552;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=fe7db8984243b8b754143f9ad2580fc17ad65e9a;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;p=pintos-anon diff --git a/src/threads/thread.h b/src/threads/thread.h index fe7db89..1f17a9c 100644 --- a/src/threads/thread.h +++ b/src/threads/thread.h @@ -119,8 +119,6 @@ const char *thread_name (void); void thread_exit (void) NO_RETURN; void thread_yield (void); -void thread_join (tid_t); - void thread_set_priority (int); int thread_get_priority (void);