# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 637d70d8d44628d3c93ff96c4f8124036c7d1bb0
# Parent  6270e89e1d4753c8cca3612084cfbc1450faa76f
Iip can't be used to check if domain is inside Xen because IIP is a user
register.  CPL must be used instead.

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

diff -r 6270e89e1d47 -r 637d70d8d446 xen/arch/ia64/xen/process.c
--- a/xen/arch/ia64/xen/process.c	Thu Mar  9 06:11:25 2006
+++ b/xen/arch/ia64/xen/process.c	Thu Mar  9 05:34:57 2006
@@ -286,7 +286,8 @@
 		vcpu_itc_no_srlz(current,is_data?2:1,address,pteval,-1UL,(itir>>2)&0x3f);
 		return;
 	}
-	if (IS_VMM_ADDRESS(iip)) {
+	if (!user_mode (regs)) {
+		/* The fault occurs inside Xen.  */
 		if (!ia64_done_with_exception(regs)) {
 			// should never happen.  If it does, region 0 addr may
 			// indicate a bad xen pointer