--- linux/arch/i386/kernel/apic.c.old	Tue Dec 05 21:43:48 2000
+++ linux/arch/i386/kernel/apic.c	Sat Feb 24 19:39:44 2001
@@ -216,8 +216,13 @@
 	/*
 	 * Double-check wether this APIC is really registered.
 	 */
-	if (!test_bit(GET_APIC_ID(apic_read(APIC_ID)), &phys_cpu_present_map))
+	if (!test_bit(GET_APIC_ID(apic_read(APIC_ID)), &phys_cpu_present_map)) {
+		printk(KERN_ERR "phys_cpu_present_map is %lxh.\n",
+					phys_cpu_present_map);
+		printk(KERN_ERR "Apic id is %ldh.\n",
+				GET_APIC_ID(apic_read(APIC_ID)));
 		BUG();
+	}
 
 	/*
 	 * Intel recommends to set DFR, LDR and TPR before enabling