jdb_dbinfo.h

Go to the documentation of this file.

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

#ifndef jdb_dbinfo_h
#define jdb_dbinfo_h

#include "initcalls.h"
#include "types.h"

//
// INTERFACE definition follows 
//


class Jdb_symbol_info;
class Jdb_lines_info;

class Jdb_dbinfo
{

public:  
  static FIASCO_INIT void init();
  
  static bool map(Address phys, size_t &size, Address &virt);
  
  static void unmap(Address virt, size_t size);
  
  static void set(Jdb_symbol_info *sym, Address phys, size_t size);
  
  static void set(Jdb_lines_info *lin, Address phys, size_t size);

private:  
  // We have to do this here because Jdb_symbol and Jdb_lines must not depend
  // on Kmem_alloc.
  static inline void init_symbols_lines();
  
  static Address reserve_pages(unsigned pages);
  
  static void return_pages(Address addr, unsigned pages);
};

#endif // jdb_dbinfo_h

---