kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp

   1 INTERFACE [arm && realview]:
   2
   3 #include "kmem.h"
   4 #include "l4_types.h"
   5
   6 EXTENSION class Clock_base
   7 {
   8 protected:
   9   enum {
  10     SYS_24MHZ = Kmem::System_regs_map_base + 0x5c,
  11   };
  12
  13   typedef Mword Counter;
  14 };
  15
  16 // --------------------------------------------------------------
  17 IMPLEMENTATION [arm && realview]:
  18
  19 #include "io.h"
  20 #include <cstdio>
  21
  22 IMPLEMENT inline NEEDS["io.h", <cstdio>]
  23 Clock::Counter
  24 Clock::read_counter() const
  25 {
  26   return Io::read<Mword>(SYS_24MHZ);
  27 }
  28
  29 IMPLEMENT inline
  30 Cpu_time
  31 Clock::us(Time t)
  32 {
  33   return t / 24;
  34 }