diff options
| -rw-r--r-- | cpukit/score/src/threadrestart.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/cpukit/score/src/threadrestart.c b/cpukit/score/src/threadrestart.c index d366f97a0f..f5419741bf 100644 --- a/cpukit/score/src/threadrestart.c +++ b/cpukit/score/src/threadrestart.c @@ -97,11 +97,8 @@ static void _Thread_Free( Thread_Control *the_thread ) _Objects_Get_information_id( the_thread->Object.id ); _User_extensions_Thread_delete( the_thread ); - - /* - * Free the per-thread scheduling information. - */ _Scheduler_Node_destroy( _Scheduler_Get( the_thread ), the_thread ); + _ISR_lock_Destroy( &the_thread->Timer.Lock ); /* * The thread might have been FP. So deal with that. |