Index: include/proc/scheduler.h
===================================================================
--- include/proc/scheduler.h	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ include/proc/scheduler.h	(revision 85bfdcc853e0c782ab7cd7e3b16fc2885a1ac860)
@@ -56,3 +56,9 @@
 extern void kcpulb(void *arg);
 
+/*
+ * To be defined by architectures:
+ */
+ 
+extern void before_thread_runs(void);
+
 #endif