PLAT_MAX_NCPUS_NAME
if (do_bsys_getproplen(NULL, PLAT_MAX_NCPUS_NAME) < 0) {
bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count);
if (do_bsys_getproplen(NULL, PLAT_MAX_NCPUS_NAME) < 0) {
bsetpropsi(PLAT_MAX_NCPUS_NAME, proc_num);
if (bootprop_getval(PLAT_MAX_NCPUS_NAME, &prop_value) != 0) {