diff options
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); |