Update thread make priority_more public

2024-10-17 06:47:58 +01:00
parent dbb7fd56e3
commit fb268cdef0
2 changed files with 3 additions and 4 deletions
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -131,6 +131,8 @@ void thread_yield (void);
 typedef void thread_action_func (struct thread *t, void *aux);
 void thread_foreach (thread_action_func *, void *);

+bool priority_more (const struct list_elem *a_, const struct list_elem *b_,
+                    void *aux UNUSED);
 int thread_get_priority (void);
 void thread_set_priority (int);