2 files changed, 3 insertions, 6 deletions
diff --git a/kern/thread.c b/kern/thread.c
index 0fb78637..f5dc33b2 100644
--- a/kern/thread.c
+++ b/kern/thread.c
@@ -200,6 +200,8 @@ static struct {
 
 #define thread_ts_highest_round (thread_ts_highest_round_struct.value)
 
+static void thread_schedule(void);
+
 static void __init
 thread_runq_init_rt(struct thread_runq *runq)
 {
@@ -1550,7 +1552,7 @@ thread_switch(struct thread *prev, struct thread *next)
     tcb_switch(&prev->tcb, &next->tcb);
 }
 
-void
+static void
 thread_schedule(void)
 {
     struct thread_runq *runq;
diff --git a/kern/thread.h b/kern/thread.h
index 6dea753d..9c9243de 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -200,11 +200,6 @@ void thread_wakeup(struct thread *thread);
 void __noreturn thread_run(void);
 
 /*
- * Invoke the scheduler.
- */
-void thread_schedule(void);
-
-/*
  * Invoke the scheduler if the calling thread is marked for reschedule.
  */
 void thread_reschedule(void);