# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 5b7d2eb4f207943338c3db9cfa132ff9d8e30589
# Parent  7874d50d56749a1216534a98bce21ef3511ca9bf
vtlb_insert: call panic_domain instead of panic if vrr.ps mismatch itir.ps.

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

diff -r 7874d50d5674 -r 5b7d2eb4f207 xen/arch/ia64/vmx/vtlb.c
--- a/xen/arch/ia64/vmx/vtlb.c	Thu Apr 13 08:48:03 2006
+++ b/xen/arch/ia64/vmx/vtlb.c	Thu Apr 13 08:52:37 2006
@@ -393,7 +393,8 @@
     vcpu_get_rr(current, va, &vrr.rrval);
     if (vrr.ps != ps) {
 //        machine_tlb_insert(hcb->vcpu, entry);
-    	panic("not preferred ps with va: 0x%lx\n", va);
+    	panic_domain(NULL, "not preferred ps with va: 0x%lx vrr.ps=%d ps=%d\n",
+		     va, vrr.ps, ps);
     	return;
     }
     hash_table = vsa_thash(hcb->pta, va, vrr.rrval, &tag);