diff options
-rw-r--r-- | kernel/sched.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/kernel/sched.c b/kernel/sched.c index 4fb3532dd7e8..908335e1781a 100644 --- a/kernel/sched.c +++ b/kernel/sched.c | |||
@@ -3390,10 +3390,8 @@ void account_system_time(struct task_struct *p, int hardirq_offset, | |||
3390 | struct rq *rq = this_rq(); | 3390 | struct rq *rq = this_rq(); |
3391 | cputime64_t tmp; | 3391 | cputime64_t tmp; |
3392 | 3392 | ||
3393 | if (p->flags & PF_VCPU) { | 3393 | if ((p->flags & PF_VCPU) && (irq_count() - hardirq_offset == 0)) |
3394 | account_guest_time(p, cputime); | 3394 | return account_guest_time(p, cputime); |
3395 | return; | ||
3396 | } | ||
3397 | 3395 | ||
3398 | p->stime = cputime_add(p->stime, cputime); | 3396 | p->stime = cputime_add(p->stime, cputime); |
3399 | 3397 | ||