Symbol: set_cpu_enabled
src/system/kernel/scheduler/low_latency.cpp
29
set_cpu_enabled(int32 /* cpu */, bool /* enabled */)
src/system/kernel/scheduler/power_saving.cpp
33
set_cpu_enabled(int32 cpu, bool enabled)