diff options
| -rw-r--r-- | cpukit/score/src/threaddispatch.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/score/src/threaddispatch.c b/cpukit/score/src/threaddispatch.c index 39cf80d243..9cd1e294ed 100644 --- a/cpukit/score/src/threaddispatch.c +++ b/cpukit/score/src/threaddispatch.c @@ -248,6 +248,7 @@ void _Thread_Dispatch( void ) if ( cpu_self->dispatch_necessary ) { _Profiling_Thread_dispatch_disable( cpu_self, 0 ); + _Assert( cpu_self->thread_dispatch_disable_level == 0 ); cpu_self->thread_dispatch_disable_level = 1; _Thread_Do_dispatch( cpu_self, level ); } else { |