1.1 --- a/xen/include/asm-ia64/domain.h	Fri Jan 23 14:42:29 2009 +0000
     1.2 +++ b/xen/include/asm-ia64/domain.h	Fri Jan 23 16:50:09 2009 +0000
     1.3 @@ -326,6 +326,12 @@ ia64_fault(unsigned long vector, unsigne
     1.4  void
     1.5  ia64_lazy_load_fpu(struct vcpu *vcpu);
     1.6  
     1.7 +int construct_dom0(
     1.8 +    struct domain *d,
     1.9 +    unsigned long image_start, unsigned long image_len,
    1.10 +    unsigned long initrd_start, unsigned long initrd_len,
    1.11 +    char *cmdline);
    1.12 +
    1.13  #endif /* __ASM_DOMAIN_H__ */
    1.14  
    1.15  /*

     2.1 --- a/xen/include/asm-x86/domain.h	Fri Jan 23 14:42:29 2009 +0000
     2.2 +++ b/xen/include/asm-x86/domain.h	Fri Jan 23 16:50:09 2009 +0000
     2.3 @@ -392,6 +392,13 @@ void domain_cpuid(struct domain *d,
     2.4                    unsigned int  *ecx,
     2.5                    unsigned int  *edx);
     2.6  
     2.7 +int construct_dom0(
     2.8 +    struct domain *d,
     2.9 +    unsigned long image_base,
    2.10 +    unsigned long image_start, unsigned long image_len,
    2.11 +    unsigned long initrd_start, unsigned long initrd_len,
    2.12 +    char *cmdline);
    2.13 +
    2.14  #endif /* __ASM_DOMAIN_H__ */
    2.15  
    2.16  /*

     3.1 --- a/xen/include/xen/sched.h	Fri Jan 23 14:42:29 2009 +0000
     3.2 +++ b/xen/include/xen/sched.h	Fri Jan 23 16:50:09 2009 +0000
     3.3 @@ -349,13 +349,6 @@ struct domain *domain_create(
     3.4  #define _DOMCRF_dummy 2
     3.5  #define DOMCRF_dummy  (1U<<_DOMCRF_dummy)
     3.6  
     3.7 -int construct_dom0(
     3.8 -    struct domain *d,
     3.9 -    unsigned long image_base,
    3.10 -    unsigned long image_start, unsigned long image_len,
    3.11 -    unsigned long initrd_start, unsigned long initrd_len,
    3.12 -    char *cmdline);
    3.13 -
    3.14  /*
    3.15   * rcu_lock_domain_by_id() is more efficient than get_domain_by_id().
    3.16   * This is the preferred function if the returned domain reference