diff options
author | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-22 16:30:03 -0400 |
---|---|---|
committer | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-22 16:30:03 -0400 |
commit | a4c546cf72cf4bb7d12e7bc6c2fa068e7a5c992f (patch) | |
tree | ad793c361b95e4f984753e9bdc02af63af2d7984 | |
parent | 2a79e6b9ea691373ae63046ed3fcbb38a0db6099 (diff) |
bugfixes for sched_mcpandaboard-litmus-mc
-rw-r--r-- | litmus/sched_mc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/litmus/sched_mc.c b/litmus/sched_mc.c index 2d0e8da9237..3034878b0ed 100644 --- a/litmus/sched_mc.c +++ b/litmus/sched_mc.c | |||
@@ -1262,7 +1262,8 @@ static void process_signals(struct cpu_entry *entry) | |||
1262 | /* A higher-priority task may exist */ | 1262 | /* A higher-priority task may exist */ |
1263 | STRACE("Reading preempt signal\n"); | 1263 | STRACE("Reading preempt signal\n"); |
1264 | 1264 | ||
1265 | if (mc_preempt_needed(ce->domain, ce->server.linked)) { | 1265 | if (ce->server.state == SS_ACTIVE && |
1266 | mc_preempt_needed(ce->domain, ce->server.linked)) { | ||
1266 | preempt_crit(ce->domain, ce); | 1267 | preempt_crit(ce->domain, ce); |
1267 | raw_spin_unlock(dom->lock); | 1268 | raw_spin_unlock(dom->lock); |
1268 | if (!is_ghost(ce->server.linked)) { | 1269 | if (!is_ghost(ce->server.linked)) { |