--- x/xen/arch/ia64/xen/crash.c
+++ x/xen/arch/ia64/xen/crash.c
@@ -19,6 +19,9 @@
 void machine_crash_shutdown(void)
 {
     //printk("machine_crash_shutdown: %d\n", smp_processor_id());
+    printk(__FILE__ ": %s: does nothing\n");
+    return;
+#if 0
     if (in_interrupt())
         ia64_eoi();
     kexec_crash_save_info();
@@ -28,6 +31,7 @@ void machine_crash_shutdown(void)
 #ifdef CONFIG_SMP
     smp_send_stop();
 #endif
+#endif
 }
 
 /*