score: Use _Freechain_Push()

The nodes are never NULL. Update #3959.
2026-09-25 19:17:33 +08:00 · 2020-08-31 17:30:17 +02:00
parent 354c2b50a3
commit 159db41166
2 changed files with 2 additions and 2 deletions
@@ -275,7 +275,7 @@ failed:
  }
 #endif

-  _Freechain_Put(
+  _Freechain_Push(
    &information->Thread_queue_heads.Free,
    the_thread->Wait.spare_heads
  );
@@ -176,7 +176,7 @@ static void _Thread_Free( Thread_Control *the_thread )
 #endif
 #endif

-  _Freechain_Put(
+  _Freechain_Push(
    &information->Thread_queue_heads.Free,
    the_thread->Wait.spare_heads
  );