jdb_kern_info_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef jdb_kern_info_i_h
#define jdb_kern_info_i_h

#include <cstdio>
#include "ctype.h"

#include "cpu.h"
#include "jdb.h"
#include "jdb_module.h"
#include "static_init.h"
#include "kmem_alloc.h"
#include "region.h"

#include <cstdio>
#include <cstring>
#include "simpleio.h"

#include "apic.h"
#include "config.h"
#include "cpu.h"
#include "gdt.h"
#include "idt.h"
#include "io.h"
#include "jdb_symbol.h"
#include "perf_cnt.h"
#include "pic.h"
#include "space.h"
#include "tss.h"

#include <cstdio>
#include <cstring>
#include "simpleio.h"

#include <cstdio>
#include "simpleio.h"

#include "apic.h"
#include "static_init.h"

#include <cstdio>
#include "pci.h"
#include "simpleio.h"
#include "static_init.h"

#include <cstdio>
#include "cpu.h"
#include "div32.h"
#include "gdt.h"
#include "simpleio.h"
#include "static_init.h"
#include "timer.h"
#include <cstdio>
#include "simpleio.h"

#include "jdb_bp.h"
#include "static_init.h"

class Jdb_kern_info_pic_state : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_pic_state();

private:  
  void show();
};


class Jdb_kern_info_misc : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_misc();
  
  void show();

private:  
  inline void show_pdir();
};


class Jdb_kern_info_gdt : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_gdt();
  
  void show();
};

class Jdb_kern_info_idt : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_idt();
  
  void show();
};

class Jdb_kern_info_cpu : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_cpu();
  
  void show();
  
  void show_f_bits(unsigned features, const char *const *table, unsigned first_pos, unsigned &last_pos, unsigned &colon);
  
  void show_features();
};

class Jdb_kern_info_apic : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_apic();
  
  void show();
};

class Jdb_kern_info_pci : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_pci();
  
  void show();
};

class Jdb_kern_info_bench : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_bench();
  
  void show();

private:  
  static void show_time(Unsigned64 time, Unsigned32 rounds, const char *descr);
};

class Jdb_kern_info_dr : public Jdb_kern_info_module
{

public:  
  Jdb_kern_info_dr();
  
  void show();
};

//
// IMPLEMENTATION of inline functions follows
//




inline void
Jdb_kern_info_misc::show_pdir()
{
  Space *s = current_space();
  printf ("pdir: "L4_PTR_FMT" (taskno=%x, chief=%x)\n",
          (Address) s,
          unsigned (s->id()),
          unsigned (s->chief()));
}

#endif // jdb_kern_info_i_h

---