--- linux-3.0/kernel/posix-cpu-timers.c.orig	2011-11-13 17:02:51.661391231 +0100
+++ linux-3.0/kernel/posix-cpu-timers.c	2011-11-13 17:05:09.097711212 +0100
@@ -250,7 +250,7 @@
 	do {
 		times->utime = cputime_add(times->utime, t->utime);
 		times->stime = cputime_add(times->stime, t->stime);
-		times->sum_exec_runtime += task_sched_runtime(t);
+		times->sum_exec_runtime += t->se.sum_exec_runtime;
 	} while_each_thread(tsk, t);
 out:
 	rcu_read_unlock();