scheduler_enter 64 kernel/generic/include/proc/scheduler.h extern void scheduler_enter(state_t); scheduler_enter 451 kernel/generic/src/proc/thread.c scheduler_enter(Exiting); scheduler_enter 551 kernel/generic/src/proc/thread.c scheduler_enter(Sleeping); scheduler_enter 678 kernel/generic/src/proc/thread.c scheduler_enter(Running);HelenOS homepage, sources at GitHub