[Xen-changelog] [xen-unstable] Fix ia64 build.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1232729409 0
# Node ID 25780232795883ad4ebcb4892962dca56da56dfb
# Parent  175a425e9b55e63c240b0a2ad61f5ed251e85ead
Fix ia64 build.

Signed-off-by: Keir Fraser <keir.fraser@xxxxxxxxxx>
---
 xen/include/asm-ia64/domain.h |    6 ++++++
 xen/include/asm-x86/domain.h  |    7 +++++++
 xen/include/xen/sched.h       |    7 -------
 3 files changed, 13 insertions(+), 7 deletions(-)

diff -r 175a425e9b55 -r 257802327958 xen/include/asm-ia64/domain.h
--- a/xen/include/asm-ia64/domain.h     Fri Jan 23 14:42:29 2009 +0000
+++ b/xen/include/asm-ia64/domain.h     Fri Jan 23 16:50:09 2009 +0000
@@ -326,6 +326,12 @@ void
 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 -r 175a425e9b55 -r 257802327958 xen/include/asm-x86/domain.h
--- a/xen/include/asm-x86/domain.h      Fri Jan 23 14:42:29 2009 +0000
+++ b/xen/include/asm-x86/domain.h      Fri Jan 23 16:50:09 2009 +0000
@@ -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 -r 175a425e9b55 -r 257802327958 xen/include/xen/sched.h
--- a/xen/include/xen/sched.h   Fri Jan 23 14:42:29 2009 +0000
+++ b/xen/include/xen/sched.h   Fri Jan 23 16:50:09 2009 +0000
@@ -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

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog