diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetexecutiontime.c')
-rw-r--r-- | cpukit/score/src/schedulercbsgetexecutiontime.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index e54cb44141..d4b18ae74c 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -19,11 +19,8 @@ #include "config.h" #endif -#include <rtems/system.h> -#include <rtems/config.h> -#include <rtems/score/scheduler.h> #include <rtems/score/schedulercbs.h> -#include <rtems/score/threaddispatch.h> +#include <rtems/score/threadimpl.h> int _Scheduler_CBS_Get_execution_time ( Scheduler_CBS_Server_id server_id, |