Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/include/proc/scheduler.h	(revision c4e8ed9d860723e9a528a63a1c23c93516a1e0ba)
@@ -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 c4e8ed9d860723e9a528a63a1c23c93516a1e0ba)
@@ -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);