diff options
author | Christopher Kenna <cjk@cs.unc.edu> | 2011-10-12 00:08:43 -0400 |
---|---|---|
committer | Christopher Kenna <cjk@cs.unc.edu> | 2011-10-12 00:09:03 -0400 |
commit | a565bb17ee38e4a811254c6f0a3e46e8b2c2b66f (patch) | |
tree | 888ea1c5bb68173807b66a612fd70dc1556a1a7d /litmus | |
parent | 9bbedd1b59b55650767395eabf093e0400d4bd97 (diff) |
fix level-a schedule event id and a bad define in rt_domain.h
Diffstat (limited to 'litmus')
-rw-r--r-- | litmus/trace.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/litmus/trace.c b/litmus/trace.c index 417422d2f16d..1d4593aec71d 100644 --- a/litmus/trace.c +++ b/litmus/trace.c | |||
@@ -4,6 +4,9 @@ | |||
4 | #include <litmus/ftdev.h> | 4 | #include <litmus/ftdev.h> |
5 | #include <litmus/litmus.h> | 5 | #include <litmus/litmus.h> |
6 | #include <litmus/trace.h> | 6 | #include <litmus/trace.h> |
7 | |||
8 | #include <litmus/domain.h> | ||
9 | #include <litmus/event_group.h> | ||
7 | #include <litmus/sched_mc.h> | 10 | #include <litmus/sched_mc.h> |
8 | 11 | ||
9 | /******************************************************************************/ | 12 | /******************************************************************************/ |
@@ -82,11 +85,11 @@ feather_callback void save_timestamp_def(unsigned long event, | |||
82 | feather_callback void save_timestamp_task(unsigned long event, | 85 | feather_callback void save_timestamp_task(unsigned long event, |
83 | unsigned long t_ptr) | 86 | unsigned long t_ptr) |
84 | { | 87 | { |
85 | struct task_struct *ts = t_ptr; | 88 | struct task_struct *ts = (struct task_struct*) t_ptr; |
86 | int rt = is_realtime(ts); | 89 | int rt = is_realtime(ts); |
87 | uint8_t type = rt ? TSK_RT : TSK_BE; | 90 | uint8_t type = rt ? TSK_RT : TSK_BE; |
88 | 91 | ||
89 | if (TS_LVLA_SCHED_END == event) { | 92 | if (TS_LVLA_SCHED_END_ID == event) { |
90 | if (rt && CRIT_LEVEL_A == tsk_mc_crit(ts)) | 93 | if (rt && CRIT_LEVEL_A == tsk_mc_crit(ts)) |
91 | type = TSK_LVLA; | 94 | type = TSK_LVLA; |
92 | } | 95 | } |