diff --git a/kernel/sched.c b/kernel/sched.c
index 7377222ab42fe3da53715f719684cedef2cfdf42..7fe334ead4f945b30a86986b0ff4563b0253f25f 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -66,6 +66,7 @@
 #include <linux/unistd.h>
 #include <linux/pagemap.h>
 #include <linux/hrtimer.h>
+#include <linux/tick.h>
 
 #include <asm/tlb.h>
 #include <asm/irq_regs.h>