BOOT_MAX_NCPUS_NAME
bsetpropsi(BOOT_MAX_NCPUS_NAME, cpu_count);
if (bootprop_getval(BOOT_MAX_NCPUS_NAME, &prop_value) != 0) {