Compilation fix for x86_64 caused by 17880:d3a87899985d.

Signed-off-by: Jean Guyader <jean.guyader@eu.citrix.com>

diff --git a/tools/libxc/xc_ptrace.c b/tools/libxc/xc_ptrace.c
index b2f3e55a0c3d747a569dc8f07c82fa710c3a15b6..09d5c656d54ff07d51db94c62d3cbeddedcab67c 100644 (file)
--- a/tools/libxc/xc_ptrace.c
+++ b/tools/libxc/xc_ptrace.c
@@ -264,12 +264,12 @@ map_domain_va_64(
     uint64_t *l4, *l3, *l2, *l1;
     static void *v[MAX_VIRT_CPUS];
 
-    if ((ctxt[cpu].ctrlreg[4] & 0x20) == 0 ) /* legacy ia32 mode */
+    if ((ctxt[cpu].c.ctrlreg[4] & 0x20) == 0 ) /* legacy ia32 mode */
         return map_domain_va_32(xc_handle, cpu, guest_va, perm);
 
     l4 = xc_map_foreign_range(
         xc_handle, current_domid, PAGE_SIZE, PROT_READ,
-        xen_cr3_to_pfn(ctxt[cpu].ctrlreg[3]));
+        xen_cr3_to_pfn(ctxt[cpu].c.ctrlreg[3]));
     if ( l4 == NULL )
         return NULL;
 

diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c
index e6d10db356a6cc0af051575edd249a6e6e762422..a6f80a4ba46cf2a3ef8b4ef2a82a08bd46224eda 100644 (file)
--- a/tools/xentrace/xenctx.c
+++ b/tools/xentrace/xenctx.c
@@ -22,8 +22,6 @@
 #include <string.h>
 #include <inttypes.h>
 #include <getopt.h>
-#include <xen/foreign/x86_64.h>
-#include <xen/foreign/x86_32.h>
 
 #include "xenctrl.h"