diff -r c4eead8a925b tools/libxc/xc_ptrace.c
--- a/tools/libxc/xc_ptrace.c	Sun Apr 16 14:41:31 2006
+++ b/tools/libxc/xc_ptrace.c	Thu Apr 20 22:44:35 2006
@@ -281,8 +281,10 @@
     uint64_t *l4, *l3, *l2, *l1;
     static void *v;
 
+#if 0
     if ((ctxt[cpu].ctrlreg[4] & 0x20) == 0 ) /* legacy ia32 mode */
         return map_domain_va_32(xc_handle, cpu, guest_va, perm);
+#endif
 
     l4 = xc_map_foreign_range( xc_handle, current_domid, PAGE_SIZE,
             PROT_READ, ctxt[cpu].ctrlreg[3] >> PAGE_SHIFT);
@@ -290,14 +292,14 @@
         return NULL;
 
     l3p = l4[l4_table_offset(va)] >> PAGE_SHIFT;
-    l3p = page_array[l3p];
+    //l3p = page_array[l3p];
     l3 = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, PROT_READ, l3p);
     munmap(l4, PAGE_SIZE);
     if ( l3 == NULL )
         return NULL;
 
     l2p = l3[l3_table_offset(va)] >> PAGE_SHIFT;
-    l2p = page_array[l2p];
+    //l2p = page_array[l2p];
     l2 = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, PROT_READ, l2p);
     munmap(l3, PAGE_SIZE);
     if ( l2 == NULL )
@@ -309,7 +311,7 @@
     if (l1e & 0x80)  { /* 2M pages */
         p = (l1p + l1_table_offset(va));
     } else { /* 4K pages */
-        l1p = page_array[l1p];
+        //l1p = page_array[l1p];
         l1 = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, perm, l1p);
         munmap(l2, PAGE_SIZE);
         if ( l1 == NULL )
@@ -317,7 +319,7 @@
 
         p = l1[l1_table_offset(va)] >> PAGE_SHIFT;
     }
-    p = page_array[p];
+    //p = page_array[p];
     if ( v != NULL )
         munmap(v, PAGE_SIZE);
     v = xc_map_foreign_range(xc_handle, current_domid, PAGE_SIZE, perm, p);