ia64/xen-unstable

changeset 16049:385b9b6bb61f

x86/64: Fix build.
Signed-off-by: Keir Fraser <keir@xensource.com>
author Keir Fraser <keir@xensource.com>
date Tue Oct 02 17:07:18 2007 +0100 (2007-10-02)
parents c2871913c5c2
children 3165e43ce734 2e5e948bf69d
files xen/arch/x86/domain.c
line diff
     1.1 --- a/xen/arch/x86/domain.c	Tue Oct 02 16:59:07 2007 +0100
     1.2 +++ b/xen/arch/x86/domain.c	Tue Oct 02 17:07:18 2007 +0100
     1.3 @@ -382,7 +382,9 @@ int vcpu_initialise(struct vcpu *v)
     1.4  
     1.5      v->arch.flags = TF_kernel_mode;
     1.6  
     1.7 +#if defined(__i386__)
     1.8      mapcache_vcpu_init(v);
     1.9 +#endif
    1.10  
    1.11      pae_l3_cache_init(&v->arch.pae_l3_cache);
    1.12