diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-12-06 20:37:20 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-12-06 20:37:20 -0500 |
commit | 983773f990053cb0ced72afb4b69594e5d32c779 (patch) | |
tree | 27767f1719926a3973a2d9effa943ea1437f9a1c /include/litmus/litmus.h | |
parent | 964297dd588ee6feab1aedecb2611bece2681973 (diff) |
AUX_FUTURE and revised inh-based aux tie break
Diffstat (limited to 'include/litmus/litmus.h')
-rwxr-xr-x[-rw-r--r--] | include/litmus/litmus.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/litmus/litmus.h b/include/litmus/litmus.h index db2987a24686..711b88e2b3d1 100644..100755 --- a/include/litmus/litmus.h +++ b/include/litmus/litmus.h | |||
@@ -32,6 +32,7 @@ struct task_struct* __waitqueue_remove_first(wait_queue_head_t *wq); | |||
32 | #define NO_CPU 0xffffffff | 32 | #define NO_CPU 0xffffffff |
33 | 33 | ||
34 | void litmus_fork(struct task_struct *tsk); | 34 | void litmus_fork(struct task_struct *tsk); |
35 | void litmus_post_fork_thread(struct task_struct *tsk); | ||
35 | void litmus_exec(void); | 36 | void litmus_exec(void); |
36 | /* clean up real-time state of a task */ | 37 | /* clean up real-time state of a task */ |
37 | void exit_litmus(struct task_struct *dead_tsk); | 38 | void exit_litmus(struct task_struct *dead_tsk); |