ia64/xen-unstable

changeset 7886:51f91ef6c3b5

Fix x86-64 build.

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;