config, x86: swap bus_id of ISA/PCI in X86 IntelMPTable
authorJiuyue Ma <majiuyue@ncic.ac.cn>
Thu, 17 Jul 2014 03:00:12 +0000 (11:00 +0800)
committerJiuyue Ma <majiuyue@ncic.ac.cn>
Thu, 17 Jul 2014 03:00:12 +0000 (11:00 +0800)
commit7d03bf4d6b8eb8445676575f72987bef3c81f480
tree85ce55888be73ed14c2a54636b85a466954b1e01
parentf94fd44991ce51dd7f24364cac1ba060bf24e02d
config, x86: swap bus_id of ISA/PCI in X86 IntelMPTable

This patch assign bus_id=0 to PCI bus and bus_id=1 to ISA bus for
X86 platform. Because PCI device get config space address using
Pc::calcPciConfigAddr() which requires "assert(bus==0)".
This fixes PCI interrupt routing and discovery on Linux.

Committed by: Nilay Vaish <nilay@cs.wisc.edu>
configs/common/FSConfig.py