gcc-3.4/ia64 compilation fixes.

@@ -432,7 +432,6 @@
 	unsigned int cpu = cpucount;
 
 	extern void percpu_traps_init(void);
-	extern void cpu_init(void);
 
 	set_current(idle_task[cpu]);
 	set_processor_id(cpu);

diff -r bb0eeb87bfca xen/arch/x86/traps.c
@@ -1150,7 +1150,6 @@
 void __init trap_init(void)
 {
     extern void percpu_traps_init(void);
-    extern void cpu_init(void);
 
     /*
      * Note that interrupt gates are always used, rather than trap gates. We 

diff -r bb0eeb87bfca xen/include/xen/sched.h
@@ -387,6 +387,7 @@
 void domain_unpause(struct domain *d);
 void domain_pause_by_systemcontroller(struct domain *d);
 void domain_unpause_by_systemcontroller(struct domain *d);
+void cpu_init(void);
 
 static inline void vcpu_unblock(struct vcpu *v)
 {

@@ -10,6 +10,7 @@
 
 #include <xen/spinlock.h>
 #include <xen/time.h>
+#include <xen/string.h>
 
 struct ac_timer {
     /* System time expiry value (nanoseconds since boot). */