scheduler_init 56 kernel/generic/include/proc/scheduler.h extern void scheduler_init(void); scheduler_init 246 kernel/generic/src/main/main.c scheduler_init();