Symbol: smp_set_num_cpus
headers/private/kernel/smp.h
96
void smp_set_num_cpus(int32 numCPUs);
src/system/kernel/main.cpp
114
smp_set_num_cpus(bootKernelArgs->num_cpus);