===== arch/ia64/kernel/smpboot.c 1.61 vs edited =====
--- 1.61/arch/ia64/kernel/smpboot.c	2004-09-22 13:28:17 -07:00
+++ edited/arch/ia64/kernel/smpboot.c	2004-09-24 07:40:46 -07:00
@@ -456,12 +456,8 @@
 	int sapicid, cpu, i;
 	int boot_cpu_id = hard_smp_processor_id();
 
-	for (cpu = 0; cpu < NR_CPUS; cpu++) {
+	for (cpu = 0; cpu < NR_CPUS; cpu++)
 		ia64_cpu_to_sapicid[cpu] = -1;
-#ifdef CONFIG_HOTPLUG_CPU
-		cpu_set(cpu, cpu_possible_map);
-#endif
-	}
 
 	ia64_cpu_to_sapicid[0] = boot_cpu_id;
 	cpus_clear(cpu_present_map);