diff options
Diffstat (limited to 'cpukit/rtems/src/timerserver.c')
| -rw-r--r-- | cpukit/rtems/src/timerserver.c | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/cpukit/rtems/src/timerserver.c b/cpukit/rtems/src/timerserver.c index 9e66544950..5c7099c561 100644 --- a/cpukit/rtems/src/timerserver.c +++ b/cpukit/rtems/src/timerserver.c @@ -26,19 +26,12 @@ #include "config.h" #endif -#include <rtems/system.h> -#include <rtems/rtems/status.h> -#include <rtems/rtems/support.h> -#include <rtems/score/object.h> -#include <rtems/score/thread.h> #include <rtems/rtems/timerimpl.h> +#include <rtems/rtems/tasksimpl.h> +#include <rtems/score/threadimpl.h> #include <rtems/score/tod.h> #include <rtems/score/watchdogimpl.h> -#include <rtems/rtems/tasksimpl.h> -#include <rtems/rtems/support.h> -#include <rtems/score/thread.h> - static Timer_server_Control _Timer_server_Default; static void _Timer_server_Stop_interval_system_watchdog( |