From d3214c5c5e0a05a1f7638bbe0570e0d2deddfdf6 Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 27 Feb 2011 16:25:06 -0800
Subject: [PATCH] X86: If PCI config space is disabled, pass through to regular
 IO addresses.

---
 src/arch/x86/tlb.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/arch/x86/tlb.cc b/src/arch/x86/tlb.cc
index 7b7af3288..dff62a4d7 100644
--- 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);
-- 
2.30.2