Index: arch/ia64/src/proc/scheduler.c
===================================================================
--- arch/ia64/src/proc/scheduler.c	(revision 8e5e78fc4a0aa3d8b584db91cac4789b99f71611)
+++ arch/ia64/src/proc/scheduler.c	(revision 0ddeabc57b1d75f43de34a8874ed2d9af0416f7e)
@@ -37,4 +37,9 @@
 #include <align.h>
 
+/** Perform ia64 specific tasks needed before the new task is run. */
+void before_task_runs_arch(void)
+{
+}
+
 /** Prepare kernel stack pointers in bank 0 r22 and r23 and make sure the stack is mapped in DTR. */
 void before_thread_runs_arch(void)