diff --git a/src/arch/x86/mmaped_ipr.hh b/src/arch/x86/mmaped_ipr.hh
index c7befa35b8..9184ec4dc9 100644
--- a/src/arch/x86/mmaped_ipr.hh
+++ b/src/arch/x86/mmaped_ipr.hh
@@ -65,6 +65,7 @@
  */
 
 #include "config/full_system.hh"
+#include "cpu/base.hh"
 #include "cpu/thread_context.hh"
 #include "mem/packet.hh"
 
@@ -78,6 +79,7 @@ namespace X86ISA
 #else
         pkt->set(xc->readMiscReg(pkt->getAddr() / sizeof(MiscReg)));
 #endif
+        return xc->getCpuPtr()->ticks(1);
     }
 
     inline Tick
@@ -89,6 +91,7 @@ namespace X86ISA
         xc->setMiscReg(pkt->getAddr() / sizeof(MiscReg),
                 gtoh(pkt->get<uint64_t>()));
 #endif
+        return xc->getCpuPtr()->ticks(1);
     }
 };
 
diff --git a/src/arch/x86/utility.cc b/src/arch/x86/utility.cc
index 96228b6c49..0eee0c93e2 100644
--- a/src/arch/x86/utility.cc
+++ b/src/arch/x86/utility.cc
@@ -170,7 +170,7 @@ void initCPU(ThreadContext *tc, int cpuId)
     tc->setMiscReg(MISCREG_MTRR_FIX_16K_80000, 0);
     tc->setMiscReg(MISCREG_MTRR_FIX_16K_A0000, 0);
     tc->setMiscReg(MISCREG_MTRR_FIX_4K_C0000, 0);
-    tc->setMiscReg(MISCREG_MTRR_FIX_4k_C8000, 0);
+    tc->setMiscReg(MISCREG_MTRR_FIX_4K_C8000, 0);
     tc->setMiscReg(MISCREG_MTRR_FIX_4K_D0000, 0);
     tc->setMiscReg(MISCREG_MTRR_FIX_4K_D8000, 0);
     tc->setMiscReg(MISCREG_MTRR_FIX_4K_E0000, 0);