before_task_runs_arch 71 kernel/generic/include/proc/scheduler.h extern void before_task_runs_arch(void); before_task_runs_arch 211 kernel/generic/src/proc/scheduler.c before_task_runs_arch();