1 /* This file was generated by getpir.c, do not modify!
2 (but if you do, please run checkpir on it to verify)
3 Contains the IRQ Routing Table dumped directly from your memory , wich BIOS sets up
5 Documentation at : http://www.microsoft.com/hwdev/busbios/PCIIRQ.HTM
7 #include <console/console.h>
8 #include <device/pci.h>
11 #include <arch/pirq_routing.h>
13 #include <cpu/amd/amdk8_sysconf.h>
15 static void write_pirq_info(struct irq_info *pirq_info, uint8_t bus, uint8_t devfn, uint8_t link0, uint16_t bitmap0,
16 uint8_t link1, uint16_t bitmap1, uint8_t link2, uint16_t bitmap2,uint8_t link3, uint16_t bitmap3,
17 uint8_t slot, uint8_t rfu)
20 pirq_info->devfn = devfn;
22 pirq_info->irq[0].link = link0;
23 pirq_info->irq[0].bitmap = bitmap0;
24 pirq_info->irq[1].link = link1;
25 pirq_info->irq[1].bitmap = bitmap1;
26 pirq_info->irq[2].link = link2;
27 pirq_info->irq[2].bitmap = bitmap2;
28 pirq_info->irq[3].link = link3;
29 pirq_info->irq[3].bitmap = bitmap3;
31 pirq_info->slot = slot;
35 extern unsigned char bus_isa;
36 extern unsigned char bus_bcm5780[7];
37 extern unsigned char bus_bcm5785_0;
38 extern unsigned char bus_bcm5785_1;
39 extern unsigned apicid_bcm5785[3];
41 extern unsigned sbdn2;
45 unsigned long write_pirq_routing_table(unsigned long addr)
48 struct irq_routing_table *pirq;
49 struct irq_info *pirq_info;
58 /* Align the table to be 16 byte aligned. */
62 /* This table must be betweeen 0xf0000 & 0x100000 */
63 printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
65 pirq = (void *)(addr);
66 v = (uint8_t *)(addr);
68 pirq->signature = PIRQ_SIGNATURE;
69 pirq->version = PIRQ_VERSION;
71 pirq->rtr_bus = bus_bcm5785_0;
72 pirq->rtr_devfn = (sysconf.sbdn<<3)|0;
74 pirq->exclusive_irqs = 0;
76 pirq->rtr_vendor = 0x1166;
77 pirq->rtr_device = 0x0036;
79 pirq->miniport_data = 0;
81 memset(pirq->rfu, 0, sizeof(pirq->rfu));
83 get_bus_conf(); // it will find out all bus num and apic that share with mptable.c and mptable.c and acpi_tables.c
85 pirq_info = (void *) ( &pirq->checksum + 1);
88 write_pirq_info(pirq_info, bus_bcm5785_0, (sysconf.sbdn<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0);
89 pirq_info++; slot_num++;
91 pirq->size = 32 + 16 * slot_num;
93 for (i = 0; i < pirq->size; i++)
96 sum = pirq->checksum - sum;
98 if (sum != pirq->checksum) {
102 printk(BIOS_INFO, "done.\n");
104 return (unsigned long) pirq_info;