kernel/scheduler/scheduler.cpp

615 build_topology_mappings(int32& cpuCount, int32& coreCount, int32& packageCount)
617 	cpuCount = smp_get_num_cpus();
619 	sCPUToCore = new(std::nothrow) int32[cpuCount];
624 	sCPUToPackage = new(std::nothrow) int32[cpuCount];
630 	for (int32 i = 0; i < cpuCount; i++) {
636 	for (int32 i = 0; i < cpuCount; i++) {
656 	int32 cpuCount, coreCount, packageCount;
657 	status_t result = build_topology_mappings(cpuCount, coreCount,
669 	gCPUEntries = new(std::nothrow) CPUEntry[cpuCount];
689 	for (int32 i = 0; i < cpuCount; i++) {
711 	int32 cpuCount = smp_get_num_cpus();
713 		" cache level%s\n", cpuCount, cpuCount != 1 ? "s" : "",