X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Ftests.h;h=ed9fbac28b0d69826ac9d2cdf4162eb5bb6ffd16;hb=045eca9809060c866876294e952dcb6d6e96ddeb;hp=bbe9adb139aed3cc8ded0f54303cce3ee7534d53;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index bbe9adb..ed9fbac 100644
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -7,12 +7,15 @@ typedef void test_func (void);
 
 extern test_func test_alarm_single;
 extern test_func test_alarm_multiple;
+extern test_func test_alarm_simultaneous;
 extern test_func test_alarm_priority;
 extern test_func test_alarm_zero;
 extern test_func test_alarm_negative;
 extern test_func test_priority_change;
 extern test_func test_priority_donate_one;
 extern test_func test_priority_donate_multiple;
+extern test_func test_priority_donate_multiple2;
+extern test_func test_priority_donate_sema;
 extern test_func test_priority_donate_nest;
 extern test_func test_priority_fifo;
 extern test_func test_priority_preempt;