[rtems-central commit] spec: Use GetThread() from test support

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    8b5158b4ba35856156f9d2e79d9d00a59bce60db
Changeset: http://git.rtems.org/rtems-central/commit/?id=8b5158b4ba35856156f9d2e79d9d00a59bce60db

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Apr  8 14:40:26 2021 +0200

spec: Use GetThread() from test support

---

 spec/rtems/sem/req/release.yml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml
index d877b6b..174a653 100644
--- a/spec/rtems/sem/req/release.yml
+++ b/spec/rtems/sem/req/release.yml
@@ -505,7 +505,6 @@ test-includes:
 - rtems.h
 - string.h
 - rtems/rtems/semimpl.h
-- rtems/score/threadimpl.h
 test-local-includes:
 - tc-support.h
 - ts-config.h
@@ -663,17 +662,6 @@ test-support: |
     T_rsc_success( sc );
   }
 
-  static Thread_Control *GetThread( rtems_id id )
-  {
-    Thread_Control  *the_thread;
-    ISR_lock_Context lock_context;
-
-    the_thread = _Thread_Get( id, &lock_context );
-    T_assert_not_null( the_thread );
-    _ISR_lock_ISR_enable( &lock_context);
-    return the_thread;
-  }
-
   static void SendAndWaitForIntendToBlock(
     const Context  *ctx,
     WorkerKind      worker,
@@ -685,6 +673,7 @@ test-support: |
 
     Send( ctx, worker, events );
     the_thread = GetThread( ctx->worker_id[ worker ] );
+    T_assert_not_null( the_thread );
     intend_to_block = THREAD_WAIT_CLASS_OBJECT |
       THREAD_WAIT_STATE_INTEND_TO_BLOCK;