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