aboutsummaryrefslogtreecommitdiffstats
path: root/include/litmus/rt_param.h
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2013-03-30 11:21:59 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2013-03-30 11:21:59 -0400
commitb2ecb9f8d20baa3edfb305d263a7f0902ac019f3 (patch)
tree77af90862b09542fa6fbcae7117b41b19086e552 /include/litmus/rt_param.h
parentc31763ecf41cbcdb61e8960f0354d8b2e39a8645 (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.h11
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;