kernel/fiasco/src/jdb/arm/jdb_kern_info-bench-arm.cpp

   1 IMPLEMENTATION[arm]:
   2
   3 IMPLEMENT
   4 void
   5 Jdb_kern_info_bench::show_arch()
   6 {}
   7
   8 IMPLEMENTATION[arm && realview]:
   9
  10 #include "platform.h"
  11
  12 IMPLEMENT inline NEEDS["platform.h"]
  13 Unsigned64
  14 Jdb_kern_info_bench::get_time_now()
  15 { return Platform::read(Platform::Sys::Cnt_24mhz); }
  16
  17 IMPLEMENTATION[arm && !realview]:
  18
  19 #include "kip.h"
  20
  21 IMPLEMENT inline NEEDS["kip.h"]
  22 Unsigned64
  23 Jdb_kern_info_bench::get_time_now()
  24 { return Kip::k()->clock; }