Fix ia64 build.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/include/asm-ia64/domain.h b/xen/include/asm-ia64/domain.h
index f04ed5b7901d3dd4e709adc8fd0f2792d721abea..4f4afdb0cdf86b00165c4092142806669d3e1d3c 100644 (file)
--- a/xen/include/asm-ia64/domain.h
+++ b/xen/include/asm-ia64/domain.h
@@ -326,6 +326,12 @@ ia64_fault(unsigned long vector, unsigned long isr, unsigned long ifa,
 void
 ia64_lazy_load_fpu(struct vcpu *vcpu);
 
+int construct_dom0(
+    struct domain *d,
+    unsigned long image_start, unsigned long image_len,
+    unsigned long initrd_start, unsigned long initrd_len,
+    char *cmdline);
+
 #endif /* __ASM_DOMAIN_H__ */
 
 /*

diff --git a/xen/include/asm-x86/domain.h b/xen/include/asm-x86/domain.h
index c1e51f7eb50265e601b3a07cb221cdfc3dcffa2a..28447c1ad6dda7ec1bbdd5ffcfda542148a73534 100644 (file)
--- a/xen/include/asm-x86/domain.h
+++ b/xen/include/asm-x86/domain.h
@@ -392,6 +392,13 @@ void domain_cpuid(struct domain *d,
                   unsigned int  *ecx,
                   unsigned int  *edx);
 
+int construct_dom0(
+    struct domain *d,
+    unsigned long image_base,
+    unsigned long image_start, unsigned long image_len,
+    unsigned long initrd_start, unsigned long initrd_len,
+    char *cmdline);
+
 #endif /* __ASM_DOMAIN_H__ */
 
 /*

diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h
index 91d2bea3ef56cbb0bde2f610fa3d1144cf53ba04..d6046bd09a7c3d68bb8a19cc93c5f8765f7009f8 100644 (file)
--- a/xen/include/xen/sched.h
+++ b/xen/include/xen/sched.h
@@ -349,13 +349,6 @@ struct domain *domain_create(
 #define _DOMCRF_dummy 2
 #define DOMCRF_dummy  (1U<<_DOMCRF_dummy)
 
-int construct_dom0(
-    struct domain *d,
-    unsigned long image_base,
-    unsigned long image_start, unsigned long image_len,
-    unsigned long initrd_start, unsigned long initrd_len,
-    char *cmdline);
-
 /*
  * rcu_lock_domain_by_id() is more efficient than get_domain_by_id().
  * This is the preferred function if the returned domain reference