g/c no-longer-needed prototype

diff --git a/platform/xen/xen/arch/x86/sched.c b/platform/xen/xen/arch/x86/sched.c
index 012551d515536b119d4da0e16dbf7813f48c9b6b..5421a8ed018ad62676a22e666737066c3b298dc6 100644 (file)
--- a/platform/xen/xen/arch/x86/sched.c
+++ b/platform/xen/xen/arch/x86/sched.c
@@ -73,10 +73,6 @@ void dump_stack(struct thread *thread_md)
 }
 #endif
 
-/* Gets run when a new thread is scheduled the first time ever, 
-   defined in x86_[32/64].S */
-extern void _minios_entry_thread_starter(void);
-
 void
 bmk_platform_cpu_sched_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
 {