# Node ID 1fa7de22dcfc100c2e44c3302bf29dd317e8d79d
# Parent  acd48ddd725fed37a6f8354e1309907154cc3e27
diff --git a/src/arch/x86/tlb.cc b/src/arch/x86/tlb.cc
--- a/src/arch/x86/tlb.cc
+++ b/src/arch/x86/tlb.cc
@@ -234,12 +234,10 @@
     AddrRange m5opRange(0xFFFF0000, 0xFFFFFFFF);
 
     if (m5opRange.contains(paddr)) {
-        if (m5opRange.contains(paddr)) {
-            req->setFlags(Request::MMAPPED_IPR | Request::GENERIC_IPR);
-            req->setPaddr(GenericISA::iprAddressPseudoInst(
-                            (paddr >> 8) & 0xFF,
-                            paddr & 0xFF));
-        }
+        req->setFlags(Request::MMAPPED_IPR | Request::GENERIC_IPR);
+        req->setPaddr(GenericISA::iprAddressPseudoInst(
+                        (paddr >> 8) & 0xFF,
+                        paddr & 0xFF));
     } else if (FullSystem) {
         // Check for an access to the local APIC
         LocalApicBase localApicBase =