Index: xen-unstable.hg/xen/arch/ia64/xen/faults.c
===================================================================
--- xen-unstable.hg.orig/xen/arch/ia64/xen/faults.c	2008-01-21 06:33:00.000000000 +0900
+++ xen-unstable.hg/xen/arch/ia64/xen/faults.c	2008-01-21 06:34:52.000000000 +0900
@@ -206,6 +206,12 @@ void ia64_do_page_fault(unsigned long ad
 		 * without this patch. */
 		attr = 0;
 	}
+	if (attr)
+		printk("EFI memory fault addr=0x%016lx attr=0x%016lx "
+		       "kr2=0x%016lx guest_mode=%d rr[%d]=0x%016lx\n",
+		       address, attr, ia64_get_kr(2), guest_mode(regs),
+		       address >> 61,
+		       ia64_get_rr(address & (address >> 61 << 61)));
 
 	fault = vcpu_translate(current, address, is_data, &pteval,
 	                       &itir, &iha, attr);
Index: xen-unstable.hg/xen/arch/ia64/xen/ivt.S
===================================================================
--- xen-unstable.hg.orig/xen/arch/ia64/xen/ivt.S	2008-01-21 06:33:34.000000000 +0900
+++ xen-unstable.hg/xen/arch/ia64/xen/ivt.S	2008-01-21 06:33:41.000000000 +0900
@@ -65,7 +65,7 @@
 # define PSR_DEFAULT_BITS	0
 #endif
 
-#if 0
+#if 1
   /*
    * This lets you track the last eight faults that occurred on the CPU.
    * Make sure ar.k2 isn't needed for something else before enabling this...