diff options
Diffstat (limited to 'cpukit/score/src/scheduleredffree.c')
-rw-r--r-- | cpukit/score/src/scheduleredffree.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cpukit/score/src/scheduleredffree.c b/cpukit/score/src/scheduleredffree.c index 6dc2ec3872..d9493cc5ac 100644 --- a/cpukit/score/src/scheduleredffree.c +++ b/cpukit/score/src/scheduleredffree.c @@ -26,8 +26,11 @@ #include <rtems/score/wkspace.h> void _Scheduler_EDF_Free( - Thread_Control *the_thread + Scheduler_Control *scheduler, + Thread_Control *the_thread ) { + (void) scheduler; + _Workspace_Free( the_thread->scheduler_info ); } |