diff options
Diffstat (limited to 'cpukit/rtems/src/rtemstimer.c')
| -rw-r--r-- | cpukit/rtems/src/rtemstimer.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/cpukit/rtems/src/rtemstimer.c b/cpukit/rtems/src/rtemstimer.c index 5aeb2fdab2..3cff1f3bf7 100644 --- a/cpukit/rtems/src/rtemstimer.c +++ b/cpukit/rtems/src/rtemstimer.c @@ -56,10 +56,9 @@ void _Timer_Manager_initialization(void) ); /* - * Initialize the pointer to the Timer Server TCB to NULL indicating - * that task-based timer support is not initialized. + * Initialize the pointer to the default timer server control block to NULL + * indicating that task-based timer support is not initialized. */ - _Timer_Server = NULL; - _Timer_Server_schedule_operation = NULL; + _Timer_server = NULL; } |