# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 6a4e145cc6d02a2d14aa18f7507ebaaeae3b9c41
# Parent  a693ccb4d5813f10a7e342f61d7747feea29090c
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 a693ccb4d581 -r 6a4e145cc6d0 xen/arch/ia64/xen/process.c
--- a/xen/arch/ia64/xen/process.c	Wed Mar  8 03:01:29 2006
+++ b/xen/arch/ia64/xen/process.c	Wed Mar  8 12:12:16 2006
@@ -299,7 +299,8 @@
 		vcpu_itc_no_srlz(current,is_data?2:1,address,pteval,-1UL,(itir>>2)&0x3f);
 		return;
 	}
-	if (IS_VMM_ADDRESS(iip)) {
+	if (((struct ia64_psr *) &(regs)->cr_ipsr)->cpl == 0) {
+		/* 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