jdb_lines.h

Go to the documentation of this file.

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

#ifndef jdb_lines_h
#define jdb_lines_h

#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Jdb_lines_line
{
public:
  unsigned int   addr __attribute__ ((packed));
  unsigned short line __attribute__ ((packed));
};

class Jdb_lines_info
{
private:
  Address  _virt;
  size_t   _size;
  Address  _beg_line;
  Address  _end_line;

public:  
  inline Jdb_lines_line* lin();
  
  inline const char* str();
  
  inline void get(Address &virt, size_t &size);
  
  inline void reset();
  
  inline bool in_range(Address addr);
  
  // register lines for a specific task (called by user mode application)
  bool set(Address virt, size_t size);
};

class Jdb_lines
{
public:
  enum
  {
    // don't allow more than 2048 tasks to register their lines to save space
    Max_tasks = L4_uid::Max_tasks < 2048 ? L4_uid::Max_tasks : 2048,
  };

private:
  static Jdb_lines_info *_task_lines;

public:  
  static void init(void *mem, Mword pages);
  
  static Jdb_lines_info* lookup(Task_num task);
  
  // search line name that matches for a specific address
  static bool match_addr_to_line(Address addr, Task_num task, char *line, unsigned line_size, int show_header_files);
  
  // search line name that matches for a specific address
  static bool match_addr_to_line_fuzzy(Address *addr_ptr, Task_num task, char *line, unsigned line_size, int show_header_files);

private:  
  // truncate string if its length exceeds strsize and create line
  static void sprint_line(const char *dir, const char *fname, unsigned line, char *str, size_t strsize);
};

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline void
Jdb_lines_info::get(Address &virt, size_t &size)
{
  virt = _virt;
  size = _size;
}



inline void
Jdb_lines_info::reset()
{
  _virt = 0;
}

#endif // jdb_lines_h

---