ia64/xen-unstable

changeset 9492:2133fb78dba3

[IA64] print domain id and vcpu id when panic

made show_regs() to print domain id and vcpu id.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author awilliam@xenbuild.aw
date Wed Apr 05 12:19:52 2006 -0600 (2006-04-05)
parents 2d28f31aae8b
children cc94ab1e0de0
files xen/arch/ia64/linux-xen/process-linux-xen.c
line diff
     1.1 --- a/xen/arch/ia64/linux-xen/process-linux-xen.c	Wed Apr 05 12:17:44 2006 -0600
     1.2 +++ b/xen/arch/ia64/linux-xen/process-linux-xen.c	Wed Apr 05 12:19:52 2006 -0600
     1.3 @@ -126,6 +126,13 @@ show_regs (struct pt_regs *regs)
     1.4  	printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]    %s\n",
     1.5  	       regs->cr_ipsr, regs->cr_ifs, ip, print_tainted());
     1.6  #else
     1.7 +	struct vcpu* vcpu = current;
     1.8 +	if (vcpu != NULL) {
     1.9 +		struct domain* d = vcpu->domain;
    1.10 +		printk("d 0x%p domid %d\n", d, d->domain_id);
    1.11 +		printk("vcpu 0x%p vcpu %d\n",
    1.12 +		       vcpu, vcpu->vcpu_id);
    1.13 +	}
    1.14  	printk("\nCPU %d\n", smp_processor_id());
    1.15  	printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]\n",
    1.16  	       regs->cr_ipsr, regs->cr_ifs, ip);