Symbol: platform_get_ncpus
sys/arm/mv/armadaxp/armadaxp.c
144
cpus = platform_get_ncpus();
sys/arm/mv/armadaxp/armadaxp.c
54
int platform_get_ncpus(void);
sys/arm/mv/armadaxp/armadaxp_mp.c
68
int platform_get_ncpus(void);
sys/arm/mv/armadaxp/armadaxp_mp.c
92
mp_ncpus = platform_get_ncpus();