diff options
Diffstat (limited to 'schedsim/shell/schedsim_priority/wrap_thread_dispatch.c')
| -rw-r--r-- | schedsim/shell/schedsim_priority/wrap_thread_dispatch.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c b/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c index a66d37d..5a72bcb 100644 --- a/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c +++ b/schedsim/shell/schedsim_priority/wrap_thread_dispatch.c @@ -24,6 +24,10 @@ Thread_Control *last_executing = NULL; extern void __real__Thread_Dispatch(void); +void Init__wrap__Thread_Dispatch() +{ +} + void check_heir_and_executing(void) { if ( last_heir != _Thread_Heir ) |