# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 7874d50d56749a1216534a98bce21ef3511ca9bf
# Parent  c4363867b4c5b92cc5e5a255d79daed9f8c92e0b
Don't crash Xen in case of panic_domain.  Simply crash the domain.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r c4363867b4c5 -r 7874d50d5674 xen/arch/ia64/xen/xenmisc.c
--- a/xen/arch/ia64/xen/xenmisc.c	Thu Apr 13 08:36:46 2006
+++ b/xen/arch/ia64/xen/xenmisc.c	Thu Apr 13 08:48:03 2006
@@ -346,11 +346,7 @@
 	va_list args;
 	char buf[128];
 	struct vcpu *v = current;
-//	static volatile int test = 1;	// so can continue easily in debug
-//	extern spinlock_t console_lock;
-//	unsigned long flags;
     
-loop:
 	printf("$$$$$ PANIC in domain %d (k6=0x%lx): ",
 		v->domain->domain_id, 
 		__get_cpu_var(cpu_kr)._kr[IA64_KR_CURRENT]);
@@ -364,16 +360,7 @@
 	} else {
 		debugger_trap_immediate();
 	}
-	domain_pause_by_systemcontroller(current->domain);
-	v->domain->shutdown_code = SHUTDOWN_crash;
-	set_bit(_DOMF_shutdown, &v->domain->domain_flags);
-	if (v->domain->domain_id == 0) {
-		int i = 1000000000L;
-		// if domain0 crashes, just periodically print out panic
-		// message to make post-mortem easier
-		while(i--);
-		goto loop;
-	}
+	domain_crash_synchronous ();
 }
 
 /* FIXME: for the forseeable future, all cpu's that enable VTi have split