diff options
Diffstat (limited to 'c/src/exec/score/headers')
-rw-r--r-- | c/src/exec/score/headers/thread.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/c/src/exec/score/headers/thread.h b/c/src/exec/score/headers/thread.h index 97f6825e38..c0c59a5f74 100644 --- a/c/src/exec/score/headers/thread.h +++ b/c/src/exec/score/headers/thread.h @@ -226,6 +226,13 @@ SCORE_EXTERN Context_Control _Thread_BSP_context; SCORE_EXTERN unsigned32 _Thread_Dispatch_disable_level; /* + * If this is non-zero, then the post-task switch extension + * is run regardless of the state of the per thread flag. + */ + +SCORE_EXTERN unsigned32 _Thread_Do_post_task_switch_extension; + +/* * The following holds how many user extensions are in the system. This * is used to determine how many user extension data areas to allocate * per thread. |