1 #include <console/console.h>
2 #include <arch/smp/mpspec.h>
3 #include <arch/ioapic.h>
4 #include <device/pci.h>
8 static void *smp_write_config_table(void *v)
10 struct mp_config_table *mc;
12 unsigned char bus_pxhd_1;
13 unsigned char bus_pxhd_2;
14 unsigned char bus_esb6300_1;
15 unsigned char bus_esb6300_2;
17 mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
19 mptable_init(mc, "X6DHE-G2 ", LAPIC_ADDR);
21 smp_write_processors(mc);
27 dev = dev_find_slot(0, PCI_DEVFN(0x1c,0));
29 bus_esb6300_1 = pci_read_config8(dev, PCI_SECONDARY_BUS);
31 printk(BIOS_DEBUG, "ERROR - could not find PCI 0:1c.0, using defaults\n");
35 dev = dev_find_slot(0, PCI_DEVFN(0x1e,0));
37 bus_esb6300_2 = pci_read_config8(dev, PCI_SECONDARY_BUS);
39 printk(BIOS_DEBUG, "ERROR - could not find PCI 0:1e.0, using defaults\n");
43 dev = dev_find_slot(1, PCI_DEVFN(0x0,0));
45 bus_pxhd_1 = pci_read_config8(dev, PCI_SECONDARY_BUS);
47 printk(BIOS_DEBUG, "ERROR - could not find PCI 1:00.1, using defaults\n");
51 dev = dev_find_slot(1, PCI_DEVFN(0x00,2));
53 bus_pxhd_2 = pci_read_config8(dev, PCI_SECONDARY_BUS);
55 printk(BIOS_DEBUG, "ERROR - could not find PCI 1:02.0, using defaults\n");
60 mptable_write_buses(mc, NULL, &bus_isa);
64 smp_write_ioapic(mc, 2, 0x20, IO_APIC_ADDR);
65 smp_write_ioapic(mc, 3, 0x20, IO_APIC_ADDR + 0x10000);
70 dev = dev_find_slot(1, PCI_DEVFN(0x00,1));
72 res = find_resource(dev, PCI_BASE_ADDRESS_0);
74 smp_write_ioapic(mc, 0x04, 0x20, res->base);
77 printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI 1:00.1\n");
78 printk(BIOS_DEBUG, "CONFIG_DEBUG: Dev= %p\n", dev);
81 dev = dev_find_slot(1, PCI_DEVFN(0x00,3));
83 res = find_resource(dev, PCI_BASE_ADDRESS_0);
85 smp_write_ioapic(mc, 0x05, 0x20, res->base);
88 printk(BIOS_DEBUG, "ERROR - could not find IOAPIC PCI 1:00.3\n");
89 printk(BIOS_DEBUG, "CONFIG_DEBUG: Dev= %p\n", dev);
93 mptable_add_isa_interrupts(mc, bus_isa, 0x2, 0);
95 /* ISA backward compatibility interrupts */
96 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW,
97 0x00, 0x74, 0x02, 0x10);
98 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW,
99 0x00, 0x77, 0x02, 0x17);
100 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW,
101 0x00, 0x75, 0x02, 0x13);
102 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW,
103 0x00, 0x7c, 0x02, 0x12);
104 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW,
105 0x00, 0x7d, 0x02, 0x11);
106 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
107 0x03, 0x08, 0x05, 0x00);
108 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
109 0x03, 0x08, 0x05, 0x04);
110 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
111 bus_esb6300_1, 0x04, 0x03, 0x00);
112 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
113 bus_esb6300_1, 0x08, 0x03, 0x01);
114 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
115 bus_esb6300_2, 0x04, 0x02, 0x10);
116 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, // -- added
117 bus_esb6300_2, 0x08, 0x02, 0x14);
119 /* Standard local interrupt assignments */
120 smp_write_lintsrc(mc, mp_ExtINT, MP_IRQ_TRIGGER_EDGE|MP_IRQ_POLARITY_HIGH,
121 bus_isa, 0x00, MP_APIC_ALL, 0x00);
122 smp_write_lintsrc(mc, mp_NMI, MP_IRQ_TRIGGER_EDGE|MP_IRQ_POLARITY_HIGH,
123 bus_isa, 0x00, MP_APIC_ALL, 0x01);
125 /* FIXME verify I have the irqs handled for all of the risers */
127 /* Compute the checksums */
128 mc->mpe_checksum = smp_compute_checksum(smp_next_mpc_entry(mc), mc->mpe_length);
130 mc->mpc_checksum = smp_compute_checksum(mc, mc->mpc_length);
131 printk(BIOS_DEBUG, "Wrote the mp table end at: %p - %p\n",
132 mc, smp_next_mpe_entry(mc));
133 return smp_next_mpe_entry(mc);
136 unsigned long write_smp_table(unsigned long addr)
139 v = smp_write_floating_table(addr);
140 return (unsigned long)smp_write_config_table(v);