diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-03-30 11:21:59 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-03-30 11:21:59 -0400 |
commit | b2ecb9f8d20baa3edfb305d263a7f0902ac019f3 (patch) | |
tree | 77af90862b09542fa6fbcae7117b41b19086e552 /include/litmus/rt_param.h | |
parent | c31763ecf41cbcdb61e8960f0354d8b2e39a8645 (diff) |
Removed ARM-specific hacks which disabled less common mixed-criticality features.wip-mc
Diffstat (limited to 'include/litmus/rt_param.h')
-rw-r--r-- | include/litmus/rt_param.h | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index a8fe95b32c06..52a0116f7282 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
@@ -268,19 +268,14 @@ struct rt_param { | |||
268 | /* Pointer to the page shared between userspace and kernel. */ | 268 | /* Pointer to the page shared between userspace and kernel. */ |
269 | struct control_page * ctrl_page; | 269 | struct control_page * ctrl_page; |
270 | 270 | ||
271 | lt_t total_tardy; | 271 | #ifdef CONFIG_SCHED_TASK_TRACE |
272 | lt_t max_tardy; | ||
273 | unsigned int missed; | ||
274 | |||
275 | lt_t load; | 272 | lt_t load; |
276 | lt_t flush; | 273 | lt_t flush; |
277 | int load_work; | 274 | #endif |
278 | int flush_work; | ||
279 | 275 | ||
280 | lt_t max_exec_time; | ||
281 | lt_t tot_exec_time; | ||
282 | lt_t last_exec_time; | 276 | lt_t last_exec_time; |
283 | lt_t orig_cost; | 277 | lt_t orig_cost; |
278 | |||
284 | struct color_ctrl_page color_ctrl_page; | 279 | struct color_ctrl_page color_ctrl_page; |
285 | struct dgl_group_req *req; | 280 | struct dgl_group_req *req; |
286 | enum server_state state; | 281 | enum server_state state; |