--- a/include/asm-x86/ipipe.h   2008-03-26 22:31:54.000000000 +0200
+++ b/include/asm-x86/ipipe.h   2008-04-13 14:27:00.000000000 +0300
@@ -31,6 +31,11 @@
#define IPIPE_PATCH_NUMBER     4
#endif

+#ifdef CONFIG_X86_32
+#include <linux/cpumask.h>
+#include <linux/ipipe_percpu.h>
+#endif
+
DECLARE_PER_CPU(struct pt_regs, __ipipe_tick_regs);

#ifdef CONFIG_X86_32