HelenOS sources

scheduler_run      63 kernel/generic/include/proc/scheduler.h extern void scheduler_run(void) __attribute__((noreturn));
scheduler_run     290 kernel/generic/src/main/main.c 	context_replace(scheduler_run, CPU_LOCAL->stack, STACK_SIZE);
scheduler_run     353 kernel/generic/src/main/main.c 	scheduler_run();