Don't check exclusive IRQ fieldin the PIR table.
[coreboot.git] / src / arch / i386 / boot /
drwxr-xr-x   ..
-rw-r--r-- 183 Config.lb
-rw-r--r-- 8757 acpi.c
-rw-r--r-- 4729 boot.c
-rw-r--r-- 13330 coreboot_table.c
-rw-r--r-- 1087 coreboot_table.h
-rw-r--r-- 4082 pirq_routing.c
-rw-r--r-- 3604 tables.c