diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-15 13:39:52 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-15 13:39:52 -0400 |
commit | 1cb90226816c7af7808be4c0de866c54da17ecc9 (patch) | |
tree | 512ff08edb877b615aa72f6bec06c29d17ef53a3 /include/litmus/rt_param.h | |
parent | 5b2b006507f91f9beeb9538698018fb61d36caf0 (diff) |
Summarize schedulability with final recordwip-color
Diffstat (limited to 'include/litmus/rt_param.h')
-rw-r--r-- | include/litmus/rt_param.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index 003eaf32aa7f..ef9f1fb77c5b 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
@@ -228,6 +228,11 @@ struct rt_param { | |||
228 | /* Pointer to the page shared between userspace and kernel. */ | 228 | /* Pointer to the page shared between userspace and kernel. */ |
229 | struct control_page * ctrl_page; | 229 | struct control_page * ctrl_page; |
230 | 230 | ||
231 | |||
232 | lt_t total_tardy; | ||
233 | lt_t max_tardy; | ||
234 | unsigned int missed; | ||
235 | |||
231 | #ifdef CONFIG_PLUGIN_COLOR | 236 | #ifdef CONFIG_PLUGIN_COLOR |
232 | lt_t max_exec_time; | 237 | lt_t max_exec_time; |
233 | lt_t tot_exec_time; | 238 | lt_t tot_exec_time; |