--- x/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c
+++ x/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c
@@ -18,6 +18,10 @@
 #include <asm/setup.h>
 #include <asm/delay.h>
 #include <asm/meminit.h>
+#ifdef CONFIG_XEN
+#include <xen/interface/kexec.h>
+#include <asm/kexec.h>
+#endif
 
 typedef void (*relocate_new_kernel_t)(unsigned long, unsigned long,
 		struct ia64_boot_param *, unsigned long);