1.1 --- a/xen/arch/ia64/xen/xenmisc.c	Thu Apr 13 14:42:43 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/xenmisc.c	Thu Apr 13 14:44:39 2006 -0600
     1.3 @@ -346,11 +346,7 @@ void panic_domain(struct pt_regs *regs, 
     1.4  	va_list args;
     1.5  	char buf[128];
     1.6  	struct vcpu *v = current;
     1.7 -//	static volatile int test = 1;	// so can continue easily in debug
     1.8 -//	extern spinlock_t console_lock;
     1.9 -//	unsigned long flags;
    1.10      
    1.11 -loop:
    1.12  	printf("$$$$$ PANIC in domain %d (k6=0x%lx): ",
    1.13  		v->domain->domain_id, 
    1.14  		__get_cpu_var(cpu_kr)._kr[IA64_KR_CURRENT]);
    1.15 @@ -364,16 +360,7 @@ loop:
    1.16  	} else {
    1.17  		debugger_trap_immediate();
    1.18  	}
    1.19 -	domain_pause_by_systemcontroller(current->domain);
    1.20 -	v->domain->shutdown_code = SHUTDOWN_crash;
    1.21 -	set_bit(_DOMF_shutdown, &v->domain->domain_flags);
    1.22 -	if (v->domain->domain_id == 0) {
    1.23 -		int i = 1000000000L;
    1.24 -		// if domain0 crashes, just periodically print out panic
    1.25 -		// message to make post-mortem easier
    1.26 -		while(i--);
    1.27 -		goto loop;
    1.28 -	}
    1.29 +	domain_crash_synchronous ();
    1.30  }
    1.31  
    1.32  /* FIXME: for the forseeable future, all cpu's that enable VTi have split