|
@@ -471,7 +471,7 @@ void __init smp_setup_cpu_maps(void)
|
|
for (j = 0; j < nthreads && cpu < nr_cpu_ids; j++) {
|
|
for (j = 0; j < nthreads && cpu < nr_cpu_ids; j++) {
|
|
DBG(" thread %d -> cpu %d (hard id %d)\n",
|
|
DBG(" thread %d -> cpu %d (hard id %d)\n",
|
|
j, cpu, be32_to_cpu(intserv[j]));
|
|
j, cpu, be32_to_cpu(intserv[j]));
|
|
- set_cpu_present(cpu, true);
|
|
|
|
|
|
+ set_cpu_present(cpu, of_device_is_available(dn));
|
|
set_hard_smp_processor_id(cpu, be32_to_cpu(intserv[j]));
|
|
set_hard_smp_processor_id(cpu, be32_to_cpu(intserv[j]));
|
|
set_cpu_possible(cpu, true);
|
|
set_cpu_possible(cpu, true);
|
|
cpu++;
|
|
cpu++;
|