diff options
Diffstat (limited to 'litmus/sched_litmus.c')
-rw-r--r-- | litmus/sched_litmus.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/litmus/sched_litmus.c b/litmus/sched_litmus.c index e6952896dc4b..b61fea15935f 100644 --- a/litmus/sched_litmus.c +++ b/litmus/sched_litmus.c | |||
@@ -10,6 +10,12 @@ static void update_time_litmus(struct rq *rq, struct task_struct *p) | |||
10 | u64 delta = rq->clock - p->se.exec_start; | 10 | u64 delta = rq->clock - p->se.exec_start; |
11 | if (unlikely((s64)delta < 0)) | 11 | if (unlikely((s64)delta < 0)) |
12 | delta = 0; | 12 | delta = 0; |
13 | if (rq->skip_clock_update) | ||
14 | TRACE_TASK(p, "rq->skip_clock_update\n"); | ||
15 | TRACE_TASK(p, "update_time_litmus: " | ||
16 | "rq->clock=%llu " | ||
17 | "p->se.exec_start=%llu litmus=%llu => delta=%llu\n", | ||
18 | rq->clock, p->se.exec_start, litmus_clock(), delta); | ||
13 | /* per job counter */ | 19 | /* per job counter */ |
14 | p->rt_param.job_params.exec_time += delta; | 20 | p->rt_param.job_params.exec_time += delta; |
15 | /* task counter */ | 21 | /* task counter */ |