jdb_ptab_i.h

Go to the documentation of this file.

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

#ifndef jdb_ptab_i_h
#define jdb_ptab_i_h

#include <cstdio>

#include "config.h"
#include "jdb.h"
#include "jdb_module.h"
#include "jdb_screen.h"
#include "jdb_table.h"
#include "kernel_console.h"
#include "kmem.h"
#include "keycodes.h"
#include "space.h"
#include "static_init.h"
#include "types.h"

#include "paging.h"

class Jdb_ptab_m : public Jdb_module
{
  Task_num task;
  static char first_char;

public:  
  Jdb_module::Action_code action(int cmd, void *&args, char const *&fmt, int &next_char);
  
  Jdb_module::Cmd const *const cmds() const;
  
  int const num_cmds() const;
  
  Jdb_ptab_m();
};

class Jdb_ptab : public Jdb_table
{
  Address base;
  Address virt_base;
  int level;
  Task_num task;
  unsigned entries;
  unsigned char cur_pt_level;
  char dump_raw;

  static unsigned max_pt_level;

  static unsigned entry_valid(Mword entry, unsigned level);
  static unsigned entry_is_pt_ptr(Mword entry, unsigned level,
                                  unsigned *entries, unsigned *next_level);
  static Address entry_phys(Mword entry, unsigned level);
  static unsigned first_level_entries();

  void print_entry(Mword entry, unsigned level);


public:  
  // arch-dependent type
  Jdb_ptab(void *pt_base, Task_num task, unsigned char pt_level = 0, unsigned entries = 0, Address virt_base = 0, int level = 0);
  
  unsigned col_width(unsigned) const;
  
  unsigned cols() const;
  
  void draw_entry(unsigned row, unsigned col);
  
  void print_statline(unsigned row, unsigned col);
  
  unsigned key_pressed(int c, unsigned &row, unsigned &col);
  
  unsigned rows() const;

private:  
  unsigned disp_virt_to_r(Address v);
  
  unsigned disp_virt_to_c(Address v);
  
  Address disp_virt(unsigned row, unsigned col);
  
  Address virt(unsigned row, unsigned col);
};
//Task_num Jdb_ptab::task;

typedef Mword My_pte;                   // shoud be replaced by

//
// IMPLEMENTATION of inline functions follows
//




inline unsigned 
Jdb_ptab::entry_valid(Mword entry, unsigned)
{ return entry & Pt_entry::Valid; }



inline unsigned 
Jdb_ptab::entry_is_pt_ptr(Mword entry, unsigned level,
                          unsigned *entries, unsigned *next_level)
{
  if (level > 0 || entry & Pd_entry::Superpage)
    return 0;
  *entries = 1024;
  *next_level = 1;
  return 1;
}



inline Address 
Jdb_ptab::entry_phys(Mword entry, unsigned)
{ return entry & Pt_entry::Pfn; }



inline unsigned 
Jdb_ptab::first_level_entries()
{ return 1024; }

#endif // jdb_ptab_i_h

---