2024-10-23 16:15:45 +00:00
4 changed files with 235 additions and 15 deletions
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -406,7 +406,7 @@ thread_set_priority (int new_base_priority)
  thread_yield ();
 }

-/* Returns the current thread's priority. */
+/* Returns the current thread's effective priority. */
 int
 thread_get_priority (void) 
 {