userprog: use typedef'd thrd_start_t

[c11tester.git] / schedule.h

diff --git a/schedule.h b/schedule.h
index 86e4e40da18c5bc41bfd3908d76b4c48dc80b20b..c633b28987d7ef97da5d1130060021260e65b0f6 100644 (file)
--- a/schedule.h
+++ b/schedule.h
@@ -9,6 +9,7 @@
 class Scheduler {
 public:
        void add_thread(Thread *t);
+       void remove_thread(Thread *t);
        Thread * next_thread(void);
        Thread * get_current_thread(void);
        void print();