x86/64: Fix build.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 8371062a58bd6849a8f34a8b2e08054f84d04fc4..7aad9ed0cb34813db4ce8297e0c1157a88017ae5 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -382,7 +382,9 @@ int vcpu_initialise(struct vcpu *v)
 
     v->arch.flags = TF_kernel_mode;
 
+#if defined(__i386__)
     mapcache_vcpu_init(v);
+#endif
 
     pae_l3_cache_init(&v->arch.pae_l3_cache);