diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index e067df1fd01a3cbafad173dbb240a6ba2701146f..5255c9d2e053225173dfea134e7e243ad0e80891 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -74,6 +74,7 @@
 
 #include <asm/tlb.h>
 #include <asm/irq_regs.h>
+#include <asm/mutex.h>
 #ifdef CONFIG_PARAVIRT
 #include <asm/paravirt.h>
 #endif