1 #include <console/console.h>
2 #include <arch/smp/mpspec.h>
3 #include <arch/ioapic.h>
4 #include <device/pci.h>
7 #include <cpu/amd/amdk8_sysconf.h>
9 extern unsigned char bus_isa;
10 extern unsigned char bus_8131_0;
11 extern unsigned char bus_8131_1;
12 extern unsigned char bus_8131_2;
13 extern unsigned char bus_8111_0;
14 extern unsigned char bus_8111_1;
15 extern unsigned apicid_8111;
16 extern unsigned apicid_8131_1;
17 extern unsigned apicid_8131_2;
19 extern unsigned sbdn3;
21 static void *smp_write_config_table(void *v)
23 struct mp_config_table *mc;
24 unsigned char bus_num;
27 mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
29 mptable_init(mc, "S2881 ", LAPIC_ADDR);
31 smp_write_processors(mc);
36 /* define bus and isa numbers */
37 for(bus_num = 0; bus_num < bus_isa; bus_num++) {
38 smp_write_bus(mc, bus_num, "PCI ");
40 smp_write_bus(mc, bus_isa, "ISA ");
43 /*I/O APICs: APIC ID Version State Address*/
44 smp_write_ioapic(mc, apicid_8111, 0x11, IO_APIC_ADDR);
48 dev = dev_find_slot(bus_8131_0, PCI_DEVFN(sbdn3,1));
50 res = find_resource(dev, PCI_BASE_ADDRESS_0);
52 smp_write_ioapic(mc, apicid_8131_1, 0x11, res->base);
55 dev = dev_find_slot(bus_8131_0, PCI_DEVFN(sbdn3+1,1));
57 res = find_resource(dev, PCI_BASE_ADDRESS_0);
59 smp_write_ioapic(mc, apicid_8131_2, 0x11, res->base);
65 mptable_add_isa_interrupts(mc, bus_isa, apicid_8111, 0);
67 /*I/O Ints: Type Polarity Trigger Bus ID IRQ APIC ID PIN# */
69 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8111_0, ((sysconf.sbdn+1)<<2)|0, apicid_8111, 0x13);
71 //On Board AMD USB ???
72 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8111_1, (0<<2)|3, apicid_8111, 0x13);
74 //On Board ATI Display Adapter
75 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8111_1, (6<<2)|0, apicid_8111, 0x12);
77 //On Board SI Serial ATA
78 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8111_1, (5<<2)|0, apicid_8111, 0x11);
82 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8131_1, (8<<2)|i, apicid_8131_1, (3+i)%4); //27
85 //On Board NIC and adaptec scsi
87 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8131_1, (9<<2)|i, apicid_8131_1, (0+i)%4); //24
88 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8131_1, (0xa<<2)|i, apicid_8131_1, (0+i)%4); //24
91 //Slot 1 PCI-X 133/100/66 or Side 1 on raiser card
93 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8131_2, (3<<2)|i, apicid_8131_2, (0+i)%4); //28
96 //Slot 1 PCI-X 133/100/66, Side 2 on raiser card
99 smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, bus_8131_2, (4<<2)|i, apicid_8131_2, (1+i)%4); //28
104 /*Local Ints: Type Polarity Trigger Bus ID IRQ APIC ID PIN#*/
105 smp_write_intsrc(mc, mp_ExtINT, MP_IRQ_TRIGGER_EDGE|MP_IRQ_POLARITY_HIGH, bus_isa, 0x0, MP_APIC_ALL, 0x0);
106 smp_write_intsrc(mc, mp_NMI, MP_IRQ_TRIGGER_EDGE|MP_IRQ_POLARITY_HIGH, bus_isa, 0x0, MP_APIC_ALL, 0x1);
107 /* There is no extension information... */
109 /* Compute the checksums */
110 mc->mpe_checksum = smp_compute_checksum(smp_next_mpc_entry(mc), mc->mpe_length);
111 mc->mpc_checksum = smp_compute_checksum(mc, mc->mpc_length);
112 printk(BIOS_DEBUG, "Wrote the mp table end at: %p - %p\n",
113 mc, smp_next_mpe_entry(mc));
114 return smp_next_mpe_entry(mc);
117 unsigned long write_smp_table(unsigned long addr)
120 v = smp_write_floating_table(addr);
121 return (unsigned long)smp_write_config_table(v);