bootprop_getval
if (bootprop_getval(BP_LGRP_MSCT_ENABLE, &value) == 0)
if (bootprop_getval(BP_LGRP_TOPO_LEVELS, &value) == 0)
if (bootprop_getval(BP_LGRP_SRAT_ENABLE, &value) == 0)
if (bootprop_getval(BP_LGRP_SLIT_ENABLE, &value) == 0)
if (bootprop_getval("cpuid_feature_ecx_include", &prop_value) != 0)
if (bootprop_getval("cpuid_feature_ecx_exclude", &prop_value) != 0)
if (bootprop_getval("cpuid_feature_edx_include", &prop_value) != 0)
if (bootprop_getval("cpuid_feature_edx_exclude", &prop_value) != 0)
if (bootprop_getval("kpti", &prop_value) == 0) {
if (bootprop_getval("pcid", &prop_value) == 0 && prop_value == 0) {
if (bootprop_getval(PLAT_DR_OPTIONS_NAME, &prop_value) == 0) {
if (bootprop_getval(PLAT_DR_PHYSMAX_NAME, &prop_value) == 0) {
if (bootprop_getval(BOOT_NCPUS_NAME, &prop_value) != 0) {
if (bootprop_getval(PLAT_MAX_NCPUS_NAME, &prop_value) != 0) {
if (bootprop_getval(BOOT_MAX_NCPUS_NAME, &prop_value) != 0) {
extern int bootprop_getval(const char *, u_longlong_t *);