Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 963074b3ec6ea15686d0e384d696e199e2b7741b)
+++ generic/include/proc/scheduler.h	(revision 9fa16b204b1d07e1406cbdc9803f00547dcadfa8)
@@ -53,7 +53,4 @@
 extern void kcpulb(void *arg);
 
-extern void before_thread_runs(void);
-extern void after_thread_ran(void);
-
 extern void sched_print_list(void);
 
@@ -61,4 +58,5 @@
  * To be defined by architectures:
  */
+extern void before_task_runs_arch(void);
 extern void before_thread_runs_arch(void);
 extern void after_thread_ran_arch(void);
Index: generic/include/proc/task.h
===================================================================
--- generic/include/proc/task.h	(revision 963074b3ec6ea15686d0e384d696e199e2b7741b)
+++ generic/include/proc/task.h	(revision 9fa16b204b1d07e1406cbdc9803f00547dcadfa8)
@@ -53,5 +53,5 @@
 	atomic_t active_calls;  /**< Active asynchronous messages */
 	
-	task_arch_t arch;
+	task_arch_t arch;	/**< Architecture specific task data. */
 };