update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / clock-arm-realview.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp b/kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp
index ec70d662bfbd316712c58f550eb51c2253030053..60fbffccb667adab6da74ef91470bc3a4d14c7b7 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp
@@ -2,14 +2,11 @@ INTERFACE [arm && realview]:
 
 #include "kmem.h"
 #include "l4_types.h"
+#include "platform.h"
 
 EXTENSION class Clock_base
 {
 protected:
-  enum {
-    SYS_24MHZ = Kmem::System_regs_map_base + 0x5c,
-  };
-
   typedef Mword Counter;
 };
 
@@ -23,7 +20,7 @@ IMPLEMENT inline NEEDS["io.h", <cstdio>]
 Clock::Counter
 Clock::read_counter() const
 {
-  return Io::read<Mword>(SYS_24MHZ);
+  return Platform::sys->read<Mword>(Platform::Sys::Cnt_24mhz);
 }
 
 IMPLEMENT inline