Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 085d973c11067c76c6bb3481033b2ba387555f4a)
+++ generic/include/proc/scheduler.h	(revision ddcf365696799cc8ff00f5ce2cce529e5b6742ab)
@@ -54,11 +54,13 @@
 
 extern void before_thread_runs(void);
+extern void after_thread_ran(void);
 
 extern void sched_print_list(void);
+
 /*
  * To be defined by architectures:
  */
- 
 extern void before_thread_runs_arch(void);
+extern void after_thread_ran_arch(void);
 
 #endif