diff --git a/arch/x86/kernel/itmt.c b/arch/x86/kernel/itmt.c
index 672fbf7df2a41383e9537a702079050ef1f01eec..cb9c1ed1d3919574ff1e54cc2a0ee66a8d0c36bf 100644
--- a/arch/x86/kernel/itmt.c
+++ b/arch/x86/kernel/itmt.c
@@ -23,7 +23,7 @@
 #include <linux/sched.h>
 #include <linux/cpumask.h>
 #include <linux/cpuset.h>
-#include <asm/mutex.h>
+#include <linux/mutex.h>
 #include <linux/sched.h>
 #include <linux/sysctl.h>
 #include <linux/nodemask.h>