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 0371a6c..7e5092b 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
@@ -106,6 +106,7 @@ task_class_t str2class(const char* str); | |||
106 | void enter_np(void); | 106 | void enter_np(void); |
107 | void exit_np(void); | 107 | void exit_np(void); |
108 | void exit_np_trace(void); | 108 | void exit_np_trace(void); |
109 | int requested_to_preempt(void); | ||
109 | 110 | ||
110 | /* task system support */ | 111 | /* task system support */ |
111 | int wait_for_ts_release(void); | 112 | int wait_for_ts_release(void); |