diff --git a/kernel/sched/cputime.c b/kernel/sched/cputime.c
index 05de80b48586e9fa3241c708c7e6fd7c9b6fb24a..851b00f344ae27cdb670378be9809c0400790bb1 100644
--- a/kernel/sched/cputime.c
+++ b/kernel/sched/cputime.c
@@ -5,6 +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