Symbol: smp_wake_up_non_boot_cpus
headers/private/kernel/smp.h
83
void smp_wake_up_non_boot_cpus(void);
src/system/kernel/main.cpp
243
smp_wake_up_non_boot_cpus();