Index: include/proc/scheduler.h
===================================================================
--- include/proc/scheduler.h	(revision aa4e8d7e3d380d4b18dd6f638c21c6cf129f2b93)
+++ include/proc/scheduler.h	(revision 2265edf073588181a10be2163136c00a9d4eb487)
@@ -61,4 +61,5 @@
  
 extern void before_thread_runs(void);
+extern void before_thread_runs_arch(void);
 
 #endif