Index: arch/amd64/src/proc/scheduler.c
===================================================================
--- arch/amd64/src/proc/scheduler.c	(revision 37b451f7a8c252d1c0a3c5b78efd144d682378ec)
+++ arch/amd64/src/proc/scheduler.c	(revision 95042fd2012cd76ab5b4872b670f82844b865b48)
@@ -44,2 +44,6 @@
 	swapgs();
 }
+
+void after_thread_ran_arch(void)
+{
+}