Bruno, On Thu, 28 Apr 2011, Thomas Gleixner wrote: > On Wed, 27 Apr 2011, Bruno Prémont wrote: > I need some sleep now, but I will try to come up with sensible > debugging tomorrow unless Paul or someone else beats me to it. can you please add the patch below and provide the /proc/sched_debug output when the problem shows up again? Thanks, tglx --- kernel/sched.c | 3 --- 1 file changed, 3 deletions(-) Index: linux-2.6/kernel/sched.c =================================================================== --- linux-2.6.orig/kernel/sched.c +++ linux-2.6/kernel/sched.c @@ -642,9 +642,6 @@ static void update_rq_clock(struct rq *r { s64 delta; - if (rq->skip_clock_update) - return; - delta = sched_clock_cpu(cpu_of(rq)) - rq->clock; rq->clock += delta; update_rq_clock_task(rq, delta);