after_thread_ran_arch 73 kernel/generic/include/proc/scheduler.h extern void after_thread_ran_arch(void); after_thread_ran_arch 503 kernel/generic/src/proc/scheduler.c after_thread_ran_arch();