From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Wed, 29 May 2013 10:56:31 +0000 (+0000)
Subject: kernel: missing include in cputime.c
X-Git-Tag: next-20130607~31^2~2
X-Git-Url: https://git.karo-electronics.de/?a=commitdiff_plain;h=9d54169eb5e2580697ad2c75d468791545ae3dd8;p=karo-tx-linux.git

kernel: missing include in cputime.c

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
CC: mingo@redhat.com
CC: peterz@infradead.org
---

diff --git a/kernel/sched/cputime.c b/kernel/sched/cputime.c
index cc2dc3eea8a3..317a578167e1 100644
--- a/kernel/sched/cputime.c
+++ b/kernel/sched/cputime.c
@@ -5,7 +5,9 @@
 #include <linux/static_key.h>
 #include <linux/context_tracking.h>
 #include "sched.h"
-
+#ifdef CONFIG_PARAVIRT
+#include <asm/paravirt.h>
+#endif
 
 #ifdef CONFIG_IRQ_TIME_ACCOUNTING