===================================================================
@@ -59,8 +59,12 @@ void *smp_write_config_table(void *v)
mc->mpe_checksum = 0;
mc->reserved = 0;
+ printk_debug("0: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
smp_write_processors(mc);
+ printk_debug("1: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
/* Bus: Bus ID Type*/
/* define numbers for pci and isa bus */
@@ -69,16 +73,22 @@ void *smp_write_config_table(void *v)
}
smp_write_bus(mc, bus_isa, "ISA ");
+ printk_debug("2: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
/* I/O APICs: APIC ID Version State Address*/
smp_write_ioapic(mc, VT8237R_APIC_ID, 0x20, VT8237R_APIC_BASE);
+ printk_debug("3: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
/* Now, assemble the table. */
smp_write_intsrc(mc, mp_ExtINT,
MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH,
bus_isa, 0x0, VT8237R_APIC_ID, 0x0);
+ printk_debug("4: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
#define ISA_INT(intr, pin) \
smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_EDGE|MP_IRQ_POLARITY_HIGH, \
bus_isa, (intr), VT8237R_APIC_ID, (pin))
@@ -98,6 +108,8 @@ void *smp_write_config_table(void *v)
ISA_INT(0xe, 0xe);
ISA_INT(0xf, 0xf);
+ printk_debug("5: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
#define PCI_INT(bus, dev, fn, pin) \
smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, \
bus, (((dev)<<2)|(fn)), VT8237R_APIC_ID, (pin))
@@ -132,6 +144,8 @@ void *smp_write_config_table(void *v)
/* Onboard VGA */
PCI_INT(1, 0, 0, 16);
+ printk_debug("6: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
/*Local Ints: Type Polarity Trigger Bus ID IRQ APIC ID PIN#*/
smp_write_lintsrc(mc, mp_ExtINT,
MP_IRQ_TRIGGER_DEFAULT | MP_IRQ_POLARITY_DEFAULT,
@@ -139,6 +153,8 @@ void *smp_write_config_table(void *v)
smp_write_lintsrc(mc, mp_NMI,
MP_IRQ_TRIGGER_DEFAULT | MP_IRQ_POLARITY_DEFAULT,
0, 0x0, MP_APIC_ALL, 0x1);
+ printk_debug("7: entries %d, mpc_length %ld, mpe_length %ld\n",
+ mc->mpc_entry_count, mc->mpc_length, mc->mpe_length);
/* There is no extension information... */