Index: xen-ia64-unstable-14854/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c
===================================================================
--- xen-ia64-unstable-14854.orig/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c	2007-04-17 11:36:15.000000000 +0900
+++ xen-ia64-unstable-14854/linux-2.6-xen-sparse/arch/ia64/kernel/machine_kexec.c	2007-04-17 11:47:47.000000000 +0900
@@ -65,6 +65,7 @@ void machine_kexec_cleanup(struct kimage
 {
 }
 
+#ifndef CONFIG_XEN
 void machine_shutdown(void)
 {
 	int cpu;
@@ -75,6 +76,7 @@ void machine_shutdown(void)
 	}
 	kexec_disable_iosapic();
 }
+#endif /* CONFIG_XEN */
 
 /*
  * Do not allocate memory (or fail in any way) in machine_kexec().