Searched refs:physical_cpu_max (Results 1 – 12 of 12) sorted by relevance
224 if (machine_info.logical_cpu_max != machine_info.physical_cpu_max) { in cpu_topology_sort()228 machine_info.physical_cpu_max = physical_max; in cpu_topology_sort()
775 return machine_info.physical_cpu_max; in ml_get_cpu_number_type()
921 machine_info.physical_cpu_max += 1; in cpu_thread_alloc()
138 integer_t physical_cpu_max; /* max number of physical CPUs possible */ member
102 integer_t physical_cpu_max; /* max number of physical CPUs possible */ member
174 (void *)offsetof(host_basic_info_data_t, physical_cpu_max),
228 basic_info->physical_cpu_max = machine_info.physical_cpu_max; in host_info()
1184 if (machine_info.logical_cpu_max == machine_info.physical_cpu_max) { in enable_smt_processors()
182 …t8_t*)(_COMM_PAGE_PHYSICAL_CPUS + _COMM_PAGE_RW_OFFSET)) = (uint8_t) machine_info.physical_cpu_max; in commpage_populate()
542 c1 = machine_info.physical_cpu_max; in commpage_populate_one()
1447 machine_info.physical_cpu_max = num_cpus; in machine_conf()
354 return SYSCTL_RETURN(req, hinfo.physical_cpu_max); in sysctl_hw_generic()