Symbol: scheduler_start
headers/private/kernel/kscheduler.h
70
void scheduler_start(void);
src/system/kernel/main.cpp
254
scheduler_start();
src/system/kernel/main.cpp
271
scheduler_start();