diff --git a/src/dev/arm/rv_ctrl.cc b/src/dev/arm/rv_ctrl.cc
index 6716dd75f3..f9cdbe8a15 100644
--- a/src/dev/arm/rv_ctrl.cc
+++ b/src/dev/arm/rv_ctrl.cc
@@ -62,12 +62,12 @@ RealViewCtrl::read(PacketPtr pkt)
         break;
       case Clock24:
         Tick clk;
-        clk = (Tick)(curTick() / (24 * SimClock::Float::MHz));
+        clk = (Tick)(curTick() / (24 * SimClock::Int::us));
         pkt->set((uint32_t)(clk));
         break;
       case Clock100:
         Tick clk100;
-        clk100 = (Tick)(curTick() / (100 * SimClock::Float::MHz));
+        clk100 = (Tick)(curTick() / (100 * SimClock::Int::us));
         pkt->set((uint32_t)(clk100));
         break;
       case Flash: