diff options
author | Jeremy Erickson <jerickso@cs.unc.edu> | 2012-08-30 21:01:47 -0400 |
---|---|---|
committer | Jeremy Erickson <jerickso@cs.unc.edu> | 2012-08-30 21:01:47 -0400 |
commit | b1e1fea67bca3796d5f9133a92c300ec4fa93a4f (patch) | |
tree | 5cc1336e1fe1d6f93b1067e73e43381dd20db690 /kernel/sched_rt.c | |
parent | f6f94e2ab1b33f0082ac22d71f66385a60d8157f (diff) |
Bjoern's Dissertation Code with Priority Donationwip-splitting-omlp-jerickso
Diffstat (limited to 'kernel/sched_rt.c')
-rw-r--r-- | kernel/sched_rt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/sched_rt.c b/kernel/sched_rt.c index d10c80ebb67a..e40e7fe43170 100644 --- a/kernel/sched_rt.c +++ b/kernel/sched_rt.c | |||
@@ -1013,7 +1013,7 @@ static void check_preempt_equal_prio(struct rq *rq, struct task_struct *p) | |||
1013 | */ | 1013 | */ |
1014 | static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p, int flags) | 1014 | static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p, int flags) |
1015 | { | 1015 | { |
1016 | if (p->prio < rq->curr->prio) { | 1016 | if (p->prio < rq->curr->prio || p->policy == SCHED_LITMUS) { |
1017 | resched_task(rq->curr); | 1017 | resched_task(rq->curr); |
1018 | return; | 1018 | return; |
1019 | } | 1019 | } |