make sched_switch() static

diff --git a/platform/xen/xen/sched.c b/platform/xen/xen/sched.c
index e53325e4be3c546a58101ca7fc2244c35ea52914..7e97d20d21d1f7843bed2dda5647a565a54cd28a 100644 (file)
--- a/platform/xen/xen/sched.c
+++ b/platform/xen/xen/sched.c
@@ -159,7 +159,7 @@ print_threadinfo(struct bmk_thread *thread)
            thread->bt_name, thread, thread->bt_flags);
 }
 
-void
+static void
 sched_switch(struct bmk_thread *prev, struct bmk_thread *next)
 {