diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-03 16:46:21 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-03 16:46:21 -0400 |
| commit | b71e2f3c0796b66d118fd0166ae80c7d9a547740 (patch) | |
| tree | e6d5843888e3ba43cbc9b5b705c892b00c88f2f1 /include/litmus.h | |
| parent | ff87ca319b0cd76f96f78f0347ad9aaa967bb16e (diff) | |
| parent | 7bd1ec8308f63bffda37127d02a178c5fc91dac3 (diff) | |
Removed mixed-criticality codewip-color-jlh
Diffstat (limited to 'include/litmus.h')
| -rw-r--r-- | include/litmus.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h index 045579e..82e2ba2 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -99,6 +99,7 @@ task_class_t str2class(const char* str); | |||
| 99 | /* non-preemptive section support */ | 99 | /* non-preemptive section support */ |
| 100 | void enter_np(void); | 100 | void enter_np(void); |
| 101 | void exit_np(void); | 101 | void exit_np(void); |
| 102 | int requested_to_preempt(void); | ||
| 102 | 103 | ||
| 103 | /* task system support */ | 104 | /* task system support */ |
| 104 | int wait_for_ts_release(void); | 105 | int wait_for_ts_release(void); |