diff --git a/cpukit/rtems/src/timerserver.c b/cpukit/rtems/src/timerserver.c index db38f48484..047fd0978e 100644 --- a/cpukit/rtems/src/timerserver.c +++ b/cpukit/rtems/src/timerserver.c @@ -29,6 +29,7 @@ #include #include #include +#include #include static Timer_server_Control _Timer_server_Default; @@ -346,10 +347,10 @@ rtems_status_code rtems_timer_initiate_server( /* * Just to make sure this is only called once. */ - _Thread_Disable_dispatch(); + _Once_Lock(); tmpInitialized = initialized; initialized = true; - _Thread_Enable_dispatch(); + _Once_Unlock(); if ( tmpInitialized ) return RTEMS_INCORRECT_STATE;