diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-09-09 16:18:12 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-09-09 16:18:12 -0400 |
commit | 805c547ee3cdc2ef6a5f7556fdf449ced2e48680 (patch) | |
tree | abeae409739a576291942281f9acf56725d73a1a /kernel/sched/litmus.c | |
parent | 418e60bb6948a4cf6eb7c737bea21c2314619c73 (diff) |
TODO: Fix condition checks in replicate_page_move_mapping()wip-shared-lib
Diffstat (limited to 'kernel/sched/litmus.c')
-rw-r--r-- | kernel/sched/litmus.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/sched/litmus.c b/kernel/sched/litmus.c index 9d58690cf51a..cd36358cee75 100644 --- a/kernel/sched/litmus.c +++ b/kernel/sched/litmus.c | |||
@@ -20,8 +20,9 @@ static void update_time_litmus(struct rq *rq, struct task_struct *p) | |||
20 | /* task counter */ | 20 | /* task counter */ |
21 | p->se.sum_exec_runtime += delta; | 21 | p->se.sum_exec_runtime += delta; |
22 | if (delta) { | 22 | if (delta) { |
23 | TRACE_TASK(p, "charged %llu exec time (total:%llu, rem:%llu)\n", | 23 | //TRACE_TASK(p, "charged %llu exec time (total:%llu, rem:%llu)\n", |
24 | delta, p->rt_param.job_params.exec_time, budget_remaining(p)); | 24 | //delta, p->rt_param.job_params.exec_time, budget_remaining(p)); |
25 | ; | ||
25 | } | 26 | } |
26 | /* sched_clock() */ | 27 | /* sched_clock() */ |
27 | p->se.exec_start = rq->clock; | 28 | p->se.exec_start = rq->clock; |