Lines Matching refs:cores
447 /* Introduce rest of cores to the world */
465 int cores;
468 cores = ofw_cpu_early_foreach(cpu_check_mmu, true);
469 if (cores > 0) {
470 cores = MIN(cores, MAXCPU);
472 printf("Found %d CPUs in the device tree\n", cores);
473 mp_ncpus = cores;
474 mp_maxid = cores - 1;
485 if (TUNABLE_INT_FETCH("hw.ncpu", &cores)) {
486 if (cores > 0 && cores < mp_ncpus) {
487 mp_ncpus = cores;
488 mp_maxid = cores - 1;