platform_mp_get_core_cnt
mp_ncpus = platform_mp_get_core_cnt();
for (a = 1; a < platform_mp_get_core_cnt(); a++) {
start_mask = (1 << platform_mp_get_core_cnt()) - 1;
static int platform_mp_get_core_cnt(void);