sched: fix guest time accounting going faster than user time accounting
authorChristian Borntraeger <borntraeger@de.ibm.com>
Fri, 19 Oct 2007 18:52:40 +0000 (20:52 +0200)
committerIngo Molnar <mingo@elte.hu>
Fri, 19 Oct 2007 18:52:40 +0000 (20:52 +0200)
cputime_add already adds, dont do it twice.

Signed-off-by: Christian Borntraeger <borntraeger@de.ibm.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found