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 static void write_pirq_info(struct irq_info *pirq_info, uint8_t bus, uint8_t devfn, uint8_t link0, uint16_t bitmap0,
14 uint8_t link1, uint16_t bitmap1, uint8_t link2, uint16_t bitmap2,uint8_t link3, uint16_t bitmap3,
15 uint8_t slot, uint8_t rfu)
18 pirq_info->devfn = devfn;
19 pirq_info->irq[0].link = link0;
20 pirq_info->irq[0].bitmap = bitmap0;
21 pirq_info->irq[1].link = link1;
22 pirq_info->irq[1].bitmap = bitmap1;
23 pirq_info->irq[2].link = link2;
24 pirq_info->irq[2].bitmap = bitmap2;
25 pirq_info->irq[3].link = link3;
26 pirq_info->irq[3].bitmap = bitmap3;
27 pirq_info->slot = slot;
31 extern unsigned char bus_isa;
32 extern unsigned char bus_ck804_0; //1
33 extern unsigned char bus_ck804_1; //2
34 extern unsigned char bus_ck804_2; //3
35 extern unsigned char bus_ck804_3; //4
36 extern unsigned char bus_ck804_4; //5
37 extern unsigned char bus_ck804_5; //6
38 extern unsigned char bus_8131_0;//7
39 extern unsigned char bus_8131_1;//8
40 extern unsigned char bus_8131_2;//9
43 extern unsigned hcdn[];
44 extern unsigned sbdn3;
46 extern void get_bus_conf(void);
48 unsigned long write_pirq_routing_table(unsigned long addr)
51 struct irq_routing_table *pirq;
52 struct irq_info *pirq_info;
59 get_bus_conf(); // it will find out all bus num and apic that share with mptable.c and mptable.c and acpi_tables.c
61 /* Align the table to be 16 byte aligned. */
65 /* This table must be betweeen 0xf0000 & 0x100000 */
66 printk_info("Writing IRQ routing tables to 0x%x...", addr);
68 pirq = (void *)(addr);
69 v = (uint8_t *)(addr);
71 pirq->signature = PIRQ_SIGNATURE;
72 pirq->version = PIRQ_VERSION;
74 pirq->rtr_bus = bus_ck804_0;
75 pirq->rtr_devfn = ((sbdn+9)<<3)|0;
77 pirq->exclusive_irqs = 0;
79 pirq->rtr_vendor = 0x10de;
80 pirq->rtr_device = 0x005c;
82 pirq->miniport_data = 0;
84 memset(pirq->rfu, 0, sizeof(pirq->rfu));
86 pirq_info = (void *) ( &pirq->checksum + 1);
89 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+9)<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0);
90 pirq_info++; slot_num++;
92 write_pirq_info(pirq_info, bus_8131_0, (sbdn3<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0);
93 pirq_info++; slot_num++;
97 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+1)<<3)|0, 0x2, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
98 pirq_info++; slot_num++;
101 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+2)<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0, 0, 0, 0, 0, 0);
102 pirq_info++; slot_num++;
105 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+4)<<3)|0, 0x1, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
106 pirq_info++; slot_num++;
108 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+7)<<3)|0, 0x1, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
109 pirq_info++; slot_num++;
111 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+8)<<3)|0, 0x1, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
112 pirq_info++; slot_num++;
114 write_pirq_info(pirq_info, bus_ck804_0, ((sbdn+0xa)<<3)|0, 0x1, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
115 pirq_info++; slot_num++;
118 write_pirq_info(pirq_info, bus_ck804_5, (0<<3)|0, 0x3, 0xdef8, 0x4, 0xdef8, 0x1, 0xdef8, 0x2, 0xdef8, 1, 0);
119 pirq_info++; slot_num++;
122 write_pirq_info(pirq_info, bus_ck804_1, (0x5<<3)|0, 0x3, 0xdef8, 0, 0, 0, 0, 0, 0, 0, 0);
123 pirq_info++; slot_num++;
126 write_pirq_info(pirq_info, bus_ck804_1, (0x4<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 2, 0);
127 pirq_info++; slot_num++;
129 write_pirq_info(pirq_info, bus_ck804b_5, (0<<3)|0, 0x3, 0xdef8, 0x4, 0xdef8, 0x1, 0xdef8, 0x2, 0xdef8, 3, 0);
130 pirq_info++; slot_num++;
133 write_pirq_info(pirq_info, bus_8131_2, (4<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 4, 0);
134 pirq_info++; slot_num++;
137 write_pirq_info(pirq_info, bus_8131_2, (9<<3)|0, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0x1, 0xdef8, 5, 0);
138 pirq_info++; slot_num++;
141 write_pirq_info(pirq_info, bus_8131_1, (4<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 6, 0);
142 pirq_info++; slot_num++;
145 pirq->size = 32 + 16 * slot_num;
147 for (i = 0; i < pirq->size; i++)
150 sum = pirq->checksum - sum;
152 if (sum != pirq->checksum) {
153 pirq->checksum = sum;
156 printk_info("done.\n");
158 return (unsigned long) pirq_info;