CONFIG_USE_PRINTK_IN_CAR and ht chain id for HTX support in
[coreboot.git] / src / mainboard / amd / serengeti_leopard / irq_tables.c
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
4
5    Documentation at : http://www.microsoft.com/hwdev/busbios/PCIIRQ.HTM
6 */
7 #include <console/console.h>
8 #include <device/pci.h>
9 #include <string.h>
10 #include <stdint.h>
11 #include <arch/pirq_routing.h>
12 #include <cpu/amd/amdk8_sysconf.h>
13
14 static void write_pirq_info(struct irq_info *pirq_info, uint8_t bus, uint8_t devfn, uint8_t link0, uint16_t bitmap0, 
15                 uint8_t link1, uint16_t bitmap1, uint8_t link2, uint16_t bitmap2,uint8_t link3, uint16_t bitmap3,
16                 uint8_t slot, uint8_t rfu)
17 {
18         pirq_info->bus = bus; 
19         pirq_info->devfn = devfn;
20                 pirq_info->irq[0].link = link0;
21                 pirq_info->irq[0].bitmap = bitmap0;
22                 pirq_info->irq[1].link = link1;
23                 pirq_info->irq[1].bitmap = bitmap1;
24                 pirq_info->irq[2].link = link2;
25                 pirq_info->irq[2].bitmap = bitmap2;
26                 pirq_info->irq[3].link = link3;
27                 pirq_info->irq[3].bitmap = bitmap3;
28         pirq_info->slot = slot;
29         pirq_info->rfu = rfu;
30 }
31
32 extern  unsigned char bus_8132_0;
33 extern  unsigned char bus_8132_1;
34 extern  unsigned char bus_8132_2;
35 extern  unsigned char bus_8111_0;
36 extern  unsigned char bus_8111_1;
37 extern  unsigned char bus_8151_0;
38 extern  unsigned char bus_8151_1;
39
40 extern  unsigned sbdn3;
41 extern  unsigned sbdn5;
42
43 extern void get_bus_conf(void);
44
45 unsigned long write_pirq_routing_table(unsigned long addr)
46 {
47
48         struct irq_routing_table *pirq;
49         struct irq_info *pirq_info;
50         unsigned slot_num;
51         uint8_t *v;
52
53         uint8_t sum=0;
54         int i;
55
56         get_bus_conf(); // it will find out all bus num and apic that share with mptable.c and mptable.c and acpi_tables.c
57
58         /* Align the table to be 16 byte aligned. */
59         addr += 15;
60         addr &= ~15;
61
62         /* This table must be betweeen 0xf0000 & 0x100000 */
63         printk_info("Writing IRQ routing tables to 0x%x...", addr);
64
65         pirq = (void *)(addr);
66         v = (uint8_t *)(addr);
67         
68         pirq->signature = PIRQ_SIGNATURE;
69         pirq->version  = PIRQ_VERSION;
70         
71         pirq->rtr_bus = bus_8111_0;
72         pirq->rtr_devfn = ((sysconf.sbdn+1)<<3)|0;
73
74         pirq->exclusive_irqs = 0;
75         
76         pirq->rtr_vendor = 0x1022;
77         pirq->rtr_device = 0x746b;
78
79         pirq->miniport_data = 0;
80
81         memset(pirq->rfu, 0, sizeof(pirq->rfu));
82         
83         pirq_info = (void *) ( &pirq->checksum + 1);
84         slot_num = 0;
85 //pci bridge
86         write_pirq_info(pirq_info, bus_8111_0, ((sysconf.sbdn+1)<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0);
87         pirq_info++; slot_num++;
88 //pcix bridge
89 //        write_pirq_info(pirq_info, bus_8132_0, (sbdn3<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0);
90 //        pirq_info++; slot_num++;
91         
92         if(sysconf.pci1234[1] & 0xf) {
93         //agp bridge
94                 write_pirq_info(pirq_info, bus_8151_0, (sbdn5<<3)|0, 0x1, 0xdef8, 0x2, 0xdef8, 0x3, 0xdef8, 0x4, 0xdef8, 0, 0); 
95         }       
96
97         pirq_info++; slot_num++;
98              
99         pirq->size = 32 + 16 * slot_num; 
100
101         for (i = 0; i < pirq->size; i++)
102                 sum += v[i];    
103
104         sum = pirq->checksum - sum;
105
106         if (sum != pirq->checksum) {
107                 pirq->checksum = sum;
108         }
109
110         printk_info("done.\n");
111
112         return  (unsigned long) pirq_info;
113
114 }