diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2017-04-07 12:40:40 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2017-04-07 12:40:40 -0400 |
commit | c0d86034b5c4983e2a142e5f2b1cbde69661db3f (patch) | |
tree | 6aebe0084bb348944119d87ddada43ebc6322ec1 | |
parent | 3f82a33ca2fd95e3c1165d4dff979d29b77aac34 (diff) |
patch
-rw-r--r-- | litmus/sched_mc2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/sched_mc2.c b/litmus/sched_mc2.c index 497990090b7a..b4e1efb27aca 100644 --- a/litmus/sched_mc2.c +++ b/litmus/sched_mc2.c | |||
@@ -1314,7 +1314,7 @@ static long mc2_admit_task(struct task_struct *tsk) | |||
1314 | tsk_rt(tsk)->plugin_state = tinfo; | 1314 | tsk_rt(tsk)->plugin_state = tinfo; |
1315 | tsk_rt(tsk)->task_params.budget_policy = NO_ENFORCEMENT; | 1315 | tsk_rt(tsk)->task_params.budget_policy = NO_ENFORCEMENT; |
1316 | } | 1316 | } |
1317 | TRACE_CUR("ctrl_page mode_poll_task %d, cpu = %d, tsk_rt->ctrl_page = %x\n", is_mode_poll_task(tsk), tinfo->cpu, tsk_rt(tsk)->ctrl_page); | 1317 | TRACE_CUR("ctrl_page mode_poll_task %d, cpu = %d, tsk_rt->ctrl_page = %x\n", tsk_rt(tsk)->ctrl_page->mode_poll_task, tinfo->cpu, tsk_rt(tsk)->ctrl_page); |
1318 | if (is_mode_poll_task(tsk) && tinfo->cpu == 0) { | 1318 | if (is_mode_poll_task(tsk) && tinfo->cpu == 0) { |
1319 | TRACE_CUR("CPU0_TASK_EXIST set\n"); | 1319 | TRACE_CUR("CPU0_TASK_EXIST set\n"); |
1320 | cpu_0_task_exist = true; | 1320 | cpu_0_task_exist = true; |