[PATCH 3/7] score: Use _Freechain_Push()

[Sebastian Huber]

The nodes are never NULL.

Update #3959.
---
 cpukit/score/src/threadinitialize.c | 2 +-
 cpukit/score/src/threadrestart.c    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/cpukit/score/src/threadinitialize.c b/cpukit/score/src/threadinitialize.c
index d85615e4b9..4872f84950 100644
--- a/cpukit/score/src/threadinitialize.c
+++ b/cpukit/score/src/threadinitialize.c
@@ -275,7 +275,7 @@ failed:
   }
 #endif
 
-  _Freechain_Put(
+  _Freechain_Push(
     &information->Thread_queue_heads.Free,
     the_thread->Wait.spare_heads
   );
diff --git a/cpukit/score/src/threadrestart.c b/cpukit/score/src/threadrestart.c
index d51a22032c..6a035ada90 100644
--- a/cpukit/score/src/threadrestart.c
+++ b/cpukit/score/src/threadrestart.c
@@ -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
   );
-- 
2.26.2