diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-04-30 14:53:29 -0500 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-04-30 14:53:29 -0500 |
commit | d13fa726f8dbae9503a8177fbb44d0a434f9b7bf (patch) | |
tree | 5cbb38142978a3887e520f123f72e51ebbc9b643 | |
parent | 6d31eca21f3f7b9cd63cfc0bf3ed69db1c5bfa5f (diff) |
wrap_thread_dispatch.c: Add missed file
-rw-r--r-- | schedsim/shell/schedsim_priority/wrap_thread_dispatch.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c b/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c index f9f29ee..a66d37d 100644 --- a/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c +++ b/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c @@ -1,7 +1,11 @@ -/* - * Thread Dispatch Wrapper Implmentation +/** + * @file * - * COPYRIGHT (c) 1989-2013. + * @brief Thread Dispatch Wrapper Implmentation + */ + +/* + * COPYRIGHT (c) 1989-2014. * On-Line Applications Research Corporation (OAR). * * The license and distribution terms for this file may be @@ -34,6 +38,9 @@ void check_heir_and_executing(void) void __wrap__Thread_Dispatch(void) { + if ( schedsim_is_dispatch_allowed() == false ) + return; + check_heir_and_executing(); __real__Thread_Dispatch(); check_heir_and_executing(); |