Symbol: smp_get_num_cpus
src/system/kernel/smp.cpp
1455
smp_get_num_cpus()
src/tests/system/kernel/slab/Slab.h
27
#define smp_get_num_cpus() 1