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

   1 IMPLEMENTATION [arm]:
   2
   3 #include <cstdio>
   4 #include <cstring>
   5
   6 #include "config.h"
   7 #include "globals.h"
   8 #include "space.h"
   9
  10 class Jdb_kern_info_misc : public Jdb_kern_info_module
  11 {
  12 };
  13
  14 static Jdb_kern_info_misc k_i INIT_PRIORITY(JDB_MODULE_INIT_PRIO+1);
  15
  16 PUBLIC
  17 Jdb_kern_info_misc::Jdb_kern_info_misc()
  18   : Jdb_kern_info_module('i', "Miscellaneous info")
  19 {
  20   Jdb_kern_info::register_subcmd(this);
  21 }
  22
  23 PUBLIC
  24 void
  25 Jdb_kern_info_misc::show()
  26 {
  27   // FIXME: assume UP here (current_meme_space(0))
  28   printf("clck: %08x.%08x\n"
  29          "pdir: %08x\n",
  30          (unsigned) (Kip::k()->clock >> 32),
  31          (unsigned) (Kip::k()->clock),
  32          (unsigned) Mem_space::current_mem_space(Cpu_number::boot_cpu())->dir());
  33
  34
  35 }
  36
  37