ia64/xen-unstable
changeset 16049:385b9b6bb61f
x86/64: Fix build.
Signed-off-by: Keir Fraser <keir@xensource.com>
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