Symbol: scheduler_update_policy
headers/private/kernel/kscheduler.h
90
void scheduler_update_policy(void);
src/system/kernel/cpu.cpp
95
scheduler_update_policy();
src/system/kernel/scheduler/scheduler.cpp
691
scheduler_update_policy();