1 /* This file was generated by getpir.c, do not modify!
2 * (but if you do, please run checkpir on it to verify)
4 * Contains the IRQ Routing Table dumped directly from your
5 * memory, which BIOS sets up.
7 * Documentation at: http://www.microsoft.com/whdc/archive/pciirq.mspx
11 #include "pirq_routing.h"
13 #include <arch/pirq_routing.h>
16 const struct irq_routing_table intel_irq_routing_table = {
17 PIRQ_SIGNATURE, /* u32 signature */
18 PIRQ_VERSION, /* u16 version */
19 32+16*CONFIG_IRQ_SLOT_COUNT, /* There can be total CONFIG_IRQ_SLOT_COUNT devices on the bus */
20 0x00, /* Where the interrupt router lies (bus) */
21 (0x11<<3)|0x0, /* Where the interrupt router lies (dev) */
22 0x1c00, /* IRQs devoted exclusively to PCI usage */
26 { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }, /* u8 rfu[11] */
27 0xf, /* u8 checksum. This has to be set to some
28 value that would give 0 after the sum of all
29 bytes for this structure (including checksum) */
31 /* bus, dev|fn, {link, bitmap}, {link, bitmap}, {link, bitmap}, {link, bitmap}, slot, rfu */
32 {0x00,(0x14<<3)|0x0, {{0x03, 0xdeb8}, {0x05, 0xdeb8}, {0x01, 0xdeb8}, {0x02, 0xdeb8}}, 0x1, 0x0},
33 {0x00,(0x13<<3)|0x0, {{0x05, 0xdeb8}, {0x03, 0xdeb8}, {0x02, 0xdeb8}, {0x01, 0xdeb8}}, 0x2, 0x0},
34 {0x00,(0x11<<3)|0x0, {{0x00, 0xdeb8}, {0x00, 0xdeb8}, {0x03, 0xdeb8}, {0x05, 0xdeb8}}, 0x0, 0x0},
35 {0x00,(0x0f<<3)|0x0, {{0x01, 0xdeb8}, {0x02, 0xdeb8}, {0x03, 0xdeb8}, {0x05, 0xdeb8}}, 0x0, 0x0},
36 {0x00,(0x01<<3)|0x0, {{0x01, 0xdeb8}, {0x02, 0xdeb8}, {0x03, 0xdeb8}, {0x05, 0xdeb8}}, 0x0, 0x0},
37 {0x00,(0x10<<3)|0x0, {{0x01, 0xdeb8}, {0x02, 0xdeb8}, {0x03, 0xdeb8}, {0x05, 0xdeb8}}, 0x0, 0x0},
38 {0x00,(0x12<<3)|0x0, {{0x01, 0xdeb8}, {0x00, 0xdeb8}, {0x00, 0xdeb8}, {0x00, 0xdeb8}}, 0x0, 0x0},
43 unsigned long write_pirq_routing_table(unsigned long addr)
45 return copy_pirq_routing_table(addr);