--- x/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c
+++ x/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c
@@ -136,4 +136,10 @@ void machine_kexec(struct kimage *image)
 	unw_init_running(ia64_machine_kexec, image);
 	for(;;);
 }
+#else /* CONFIG_XEN */
+void machine_kexec_setup_load_arg(xen_kexec_image_t *xki,struct kimage *image)
+{
+	xki->reboot_code_buffer = 
+		kexec_page_to_pfn(image->control_code_page) << PAGE_SHIFT;
+}
 #endif /* CONFIG_XEN */