diff options
| author | peter <ztong@cs.unc.edu> | 2019-04-19 16:17:42 -0400 |
|---|---|---|
| committer | peter <ztong@cs.unc.edu> | 2019-04-19 16:17:42 -0400 |
| commit | a758725f19705759bbe9707fb0d56043f1748669 (patch) | |
| tree | 7374d8f58ca096432569eca7db9ddb12cc82bf8d /include/litmus | |
| parent | 1cfafe5a060b63bc6e9a4a79d848144214aa2756 (diff) | |
Implemented background scheduling
Diffstat (limited to 'include/litmus')
| -rw-r--r-- | include/litmus/rt_param.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index 165b0d2b6b3e..d4e06c5f91c4 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
| @@ -114,6 +114,7 @@ struct reservation_config { | |||
| 114 | typedef struct { | 114 | typedef struct { |
| 115 | cont_domain_t* container_domain; | 115 | cont_domain_t* container_domain; |
| 116 | struct task_struct* container_task; | 116 | struct task_struct* container_task; |
| 117 | int id; | ||
| 117 | int will_remove; | 118 | int will_remove; |
| 118 | struct list_head qnode; | 119 | struct list_head qnode; |
| 119 | cont_domain_t* move_to; | 120 | cont_domain_t* move_to; |
