ia64/xen-unstable
changeset 7886:51f91ef6c3b5
Fix x86-64 build.
Signed-off-by: James Bulpin <james@xensource.com>
Signed-off-by: James Bulpin <james@xensource.com>
author | jrb44@plym.cl.cam.ac.uk |
---|---|
date | Thu Nov 17 13:32:05 2005 +0100 (2005-11-17) |
parents | 65e0699dc9e1 |
children | f6fdb6e0d3c9 |
files | xen/arch/x86/domain.c |
line diff
1.1 --- a/xen/arch/x86/domain.c Thu Nov 17 13:03:13 2005 +0100 1.2 +++ b/xen/arch/x86/domain.c Thu Nov 17 13:32:05 2005 +0100 1.3 @@ -255,6 +255,9 @@ void arch_do_createdomain(struct vcpu *v 1.4 struct domain *d = v->domain; 1.5 l1_pgentry_t gdt_l1e; 1.6 int vcpuid, pdpt_order; 1.7 +#ifdef __x86_64__ 1.8 + int i; 1.9 +#endif 1.10 1.11 if ( is_idle_task(d) ) 1.12 return;