diff options
Diffstat (limited to 'schedsim/shell/shared/wrap_thread_dispatch.c')
| -rw-r--r-- | schedsim/shell/shared/wrap_thread_dispatch.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/schedsim/shell/shared/wrap_thread_dispatch.c b/schedsim/shell/shared/wrap_thread_dispatch.c index fae4f9f..32ec08f 100644 --- a/schedsim/shell/shared/wrap_thread_dispatch.c +++ b/schedsim/shell/shared/wrap_thread_dispatch.c @@ -63,6 +63,9 @@ void __wrap__Thread_Dispatch(void) uint32_t cpu; uint32_t current_cpu; + if ( !schedsim_is_dispatch_allowed() ) + return; + current_cpu = Schedsim_Current_cpu; for ( cpu=0 ; cpu < MAX_CPUS ; cpu++ ) { Schedsim_Current_cpu = cpu; |