diff --git a/src/arch/arm/pmu.cc b/src/arch/arm/pmu.cc
index 2cb7085ca2..7e425ba08b 100644
--- a/src/arch/arm/pmu.cc
+++ b/src/arch/arm/pmu.cc
@@ -349,10 +349,8 @@ PMU::readMiscRegInt(int misc_reg)
         return reg_pmceid1 & 0xFFFFFFFF;
 
       case MISCREG_PMCCNTR_EL0:
-        return cycleCounter.getValue();
-
       case MISCREG_PMCCNTR:
-        return cycleCounter.getValue() & 0xFFFFFFFF;
+        return cycleCounter.getValue();
 
       case MISCREG_PMEVTYPER0_EL0...MISCREG_PMEVTYPER5_EL0:
         return getCounterTypeRegister(misc_reg - MISCREG_PMEVTYPER0_EL0);