diff -r 4b882c41c9b9 xen/common/sched_sedf.c
--- a/xen/common/sched_sedf.c	Tue Jul 15 15:03:58 2008 +0100
+++ b/xen/common/sched_sedf.c	Tue Jul 15 16:32:42 2008 +0200
@@ -288,7 +288,7 @@ static inline void list_insert_sort(
 }
 
 #define DOMAIN_COMPARER(name, field, comp1, comp2)          \
-int name##_comp(struct list_head* el1, struct list_head* el2) \
+static int name##_comp(struct list_head* el1, struct list_head* el2) \
 {                                                           \
     struct sedf_vcpu_info *d1, *d2;                     \
     d1 = list_entry(el1,struct sedf_vcpu_info, field);  \
@@ -1067,7 +1067,7 @@ static inline int should_switch(struct v
     return 1;
 }
 
-void sedf_wake(struct vcpu *d)
+static void sedf_wake(struct vcpu *d)
 {
     s_time_t              now = NOW();
     struct sedf_vcpu_info* inf = EDOM_INFO(d);
diff -r 4b882c41c9b9 xen/common/stop_machine.c
--- a/xen/common/stop_machine.c	Tue Jul 15 15:03:58 2008 +0100
+++ b/xen/common/stop_machine.c	Tue Jul 15 16:32:42 2008 +0200
@@ -25,6 +25,7 @@
 #include <xen/sched.h>
 #include <xen/spinlock.h>
 #include <xen/softirq.h>
+#include <xen/stop_machine.h>
 #include <xen/errno.h>
 #include <xen/smp.h>
 #include <asm/current.h>
diff -r 4b882c41c9b9 xen/common/version.c
--- a/xen/common/version.c	Tue Jul 15 15:03:58 2008 +0100
+++ b/xen/common/version.c	Tue Jul 15 16:32:42 2008 +0200
@@ -1,4 +1,5 @@
 #include <xen/compile.h>
+#include <xen/version.h>
 
 const char *xen_compile_date(void)
 {
diff -r 4b882c41c9b9 xen/drivers/acpi/reboot.c
--- a/xen/drivers/acpi/reboot.c	Tue Jul 15 15:03:58 2008 +0100
+++ b/xen/drivers/acpi/reboot.c	Tue Jul 15 16:32:42 2008 +0200
@@ -1,5 +1,6 @@
 #include <xen/config.h>
 #include <xen/pci.h>
+#include <xen/acpi.h>
 #include <acpi/acpi.h>
 
 void acpi_reboot(void)
diff -r 4b882c41c9b9 xen/drivers/passthrough/amd/iommu_intr.c
--- a/xen/drivers/passthrough/amd/iommu_intr.c	Tue Jul 15 15:03:58 2008 +0100
+++ b/xen/drivers/passthrough/amd/iommu_intr.c	Tue Jul 15 16:32:42 2008 +0200
@@ -25,7 +25,7 @@ DEFINE_SPINLOCK(int_remap_table_lock);
 DEFINE_SPINLOCK(int_remap_table_lock);
 void *int_remap_table = NULL;
 
-u8* get_intremap_entry(u8 vector, u8 dm)
+static u8* get_intremap_entry(u8 vector, u8 dm)
 {
     u8 *table;
     int offset = 0;