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

   1 IMPLEMENTATION[apic]:
   2
   3 #include <cstdio>
   4 #include "simpleio.h"
   5
   6 #include "apic.h"
   7 #include "static_init.h"
   8
   9 class Jdb_kern_info_apic : public Jdb_kern_info_module
  10 {
  11 };
  12
  13 static Jdb_kern_info_apic k_a INIT_PRIORITY(JDB_MODULE_INIT_PRIO+1);
  14
  15 PUBLIC
  16 Jdb_kern_info_apic::Jdb_kern_info_apic()
  17   : Jdb_kern_info_module('a', "Local APIC state")
  18 {
  19   Jdb_kern_info::register_subcmd(this);
  20 }
  21
  22 PUBLIC
  23 void
  24 Jdb_kern_info_apic::show()
  25 {
  26   if (!Config::apic)
  27     {
  28       puts("Local APIC disabled/not available");
  29       return;
  30     }
  31
  32   Apic::id_show();
  33   Apic::timer_show();
  34   Apic::regs_show();
  35   putchar('\n');
  36   Apic::irr_show();
  37   Apic::isr_show();
  38 }
  39