Index: arch/amd64/src/proc/scheduler.c
===================================================================
--- arch/amd64/src/proc/scheduler.c	(revision 02f441c01218d2e5f05985b7f7d8eb6487119248)
+++ arch/amd64/src/proc/scheduler.c	(revision 97f1691963436356ca38316e0966ffeb57cd5639)
@@ -44,2 +44,6 @@
 	swapgs();
 }
+
+void after_thread_ran_arch(void)
+{
+}