Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/include/proc/scheduler.h	(revision 6e259d5bf67339b1bdb14806a7c3a449d5e0acb0)
@@ -45,9 +45,4 @@
 
 extern volatile count_t nrdy;
-
-static thread_t *find_best_thread(void);
-static void relink_rq(int start);
-static void scheduler_separated_stack(void);
-
 extern void scheduler_init(void);
 
Index: generic/include/proc/thread.h
===================================================================
--- generic/include/proc/thread.h	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/include/proc/thread.h	(revision 6e259d5bf67339b1bdb14806a7c3a449d5e0acb0)
@@ -113,6 +113,4 @@
 extern link_t threads_head;			/**< List of all threads in the system. */
 
-static void cushion(void);
-
 extern void thread_init(void);
 extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags);