X86: If PCI config space is disabled, pass through to regular IO addresses.

diff --git a/src/arch/x86/tlb.cc b/src/arch/x86/tlb.cc
index 7b7af32883c1802916fb6036d18c5cc5e6f7b4da..dff62a4d718b160ef610df4589341b5ad7797a6a 100644 (file)
--- a/src/arch/x86/tlb.cc
+++ b/src/arch/x86/tlb.cc
@@ -518,6 +518,8 @@ TLB::translateInt(RequestPtr req, ThreadContext *tc)
                 req->setPaddr(PhysAddrPrefixPciConfig |
                         mbits(configAddress, 30, 2) |
                         (IOPort & mask(2)));
+            } else {
+                req->setPaddr(PhysAddrPrefixIO | IOPort);
             }
         } else {
             req->setFlags(Request::UNCACHEABLE);