# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID 03033f8f5c058dd99010ec3ad900d9540e39afb2
# Parent  83b6c79544891bb370bf23f05e75a5f6c5bb43e7
made show_regs() to print domain id and vcpu id.
PATCHNAME: make_show_regs_print_domain_id_and_vcpu_id

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 83b6c7954489 -r 03033f8f5c05 xen/arch/ia64/linux-xen/process-linux-xen.c
--- a/xen/arch/ia64/linux-xen/process-linux-xen.c	Tue Apr  4 19:16:22 2006 +0900
+++ b/xen/arch/ia64/linux-xen/process-linux-xen.c	Tue Apr  4 19:16:23 2006 +0900
@@ -126,6 +126,13 @@ show_regs (struct pt_regs *regs)
 	printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]    %s\n",
 	       regs->cr_ipsr, regs->cr_ifs, ip, print_tainted());
 #else
+	struct vcpu* vcpu = current;
+	if (vcpu != NULL) {
+		struct domain* d = vcpu->domain;
+		printk("d 0x%p domid %d\n", d, d->domain_id);
+		printk("vcpu 0x%p vcpu %d\n",
+		       vcpu, vcpu->vcpu_id);
+	}
 	printk("\nCPU %d\n", smp_processor_id());
 	printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]\n",
 	       regs->cr_ipsr, regs->cr_ifs, ip);