diff --git a/cpukit/rtems/src/clocktick.c b/cpukit/rtems/src/clocktick.c index a6bf26d1a4..df8012e017 100644 --- a/cpukit/rtems/src/clocktick.c +++ b/cpukit/rtems/src/clocktick.c @@ -20,6 +20,7 @@ #include #include +#include rtems_status_code rtems_clock_tick( void ) { @@ -32,5 +33,9 @@ rtems_status_code rtems_clock_tick( void ) &lock_context ); + if ( _Thread_Dispatch_is_enabled() ) { + _Thread_Dispatch(); + } + return RTEMS_SUCCESSFUL; } diff --git a/cpukit/score/src/watchdogtick.c b/cpukit/score/src/watchdogtick.c index b9bc3f7a9c..cb68ea2f02 100644 --- a/cpukit/score/src/watchdogtick.c +++ b/cpukit/score/src/watchdogtick.c @@ -12,8 +12,9 @@ * http://www.rtems.org/license/LICENSE. */ +#include #include -#include +#include #include #include @@ -23,12 +24,11 @@ void _Watchdog_Tick( void ) { + _Assert( !_Thread_Dispatch_is_enabled() ); + _TOD_Tickle_ticks(); _Watchdog_Tickle_ticks(); _Scheduler_Tick(); - - if ( _Thread_Dispatch_is_enabled() ) - _Thread_Dispatch(); }