before_thread_runs_arch 72 kernel/generic/include/proc/scheduler.h extern void before_thread_runs_arch(void); before_thread_runs_arch 338 kernel/generic/src/proc/scheduler.c before_thread_runs_arch();