diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/litmus.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h index 88b0f0b..c16aa3b 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
@@ -92,6 +92,12 @@ int wait_for_job_release(unsigned int job_no); | |||
92 | 92 | ||
93 | /* library functions */ | 93 | /* library functions */ |
94 | void init_litmus(void); | 94 | void init_litmus(void); |
95 | /* exit is currently unused, but was needed for syscall | ||
96 | * tracing and may be needed in the future. Leave it in | ||
97 | * for the purpose of source code compatability. | ||
98 | */ | ||
99 | #define exit_litmus() {} | ||
100 | |||
95 | 101 | ||
96 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); | 102 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); |
97 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, | 103 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, |