xen: fix xen_flush_tlb_others
[safe/jmp/linux-2.6] / arch / x86 / kernel / traps.c
index 71a8f87..bde57f0 100644 (file)
@@ -54,7 +54,7 @@
 #include <asm/desc.h>
 #include <asm/i387.h>
 
-#include <mach_traps.h>
+#include <asm/mach_traps.h>
 
 #ifdef CONFIG_X86_64
 #include <asm/pgalloc.h>