jdb_trace.h

Go to the documentation of this file.

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

#ifndef jdb_trace_h
#define jdb_trace_h

#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Sys_ipc_frame;
typedef struct
{
  Address lo, hi;
} Addr_range;

class Jdb_ipc_trace
{
private:
  static int         _other_thread;
  static Global_id   _thread;
  static GThread_num _gthread;
  static int         _other_task;
  static Task_num    _task;
  static int         _snd_only;
  static int         _log;
  static int         _log_to_buf;
  static int         _log_result;
  static int         _trace;
  static int         _slow_ipc;
  static int         _cpath;
  static int         _cshortcut;
  friend class Jdb_set_trace;

public:  
  static inline int log();
  
  static inline int log_buf();
  
  static inline int log_result();
  
  static inline int check_restriction(Global_id id, Task_num task, Sys_ipc_frame *ipc_regs, Task_num dst_task);
  
  static void clear_restriction();
  
  static void show();
};

class Jdb_pf_trace
{
private:
  static int         _other_thread;
  static Global_id   _thread;
  static GThread_num _gthread;
  static Addr_range  _addr;
  static int         _log;
  static int         _log_to_buf;
  friend class Jdb_set_trace;

public:  
  static inline int log();
  
  static inline int log_buf();
  
  static inline int check_restriction(Global_id id, Address pfa);
  
  static void show();
  
  static void clear_restriction();
};

class Jdb_unmap_trace
{
private:
  static int         _other_thread;
  static Global_id   _thread;
  static GThread_num _gthread;
  static Addr_range  _addr;
  static int         _log;
  static int         _log_to_buf;
  friend class Jdb_set_trace;

public:  
  static inline int log_buf();
  
  static inline int check_restriction(Global_id id, Address addr);
  
  static void show();
  
  static void clear_restriction();
};

class Jdb_nextper_trace
{
private:
  static int         _log;
  friend class Jdb_set_trace;

public:  
  static inline int log();
  
  static void show();
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//


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

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



inline int Jdb_ipc_trace::log()        { return _log; }

inline int Jdb_ipc_trace::log_buf()    { return _log_to_buf; }

inline int Jdb_ipc_trace::log_result() { return _log_result; }



inline int
Jdb_ipc_trace::check_restriction(Global_id id,
                                  Task_num task,
                                  Sys_ipc_frame *ipc_regs,
                                  Task_num dst_task)
{
  return (   ((_gthread == (GThread_num)-1)
              || ((_other_thread) ^ (_gthread == id.gthread()))
              )
           && ((!_snd_only || ipc_regs->has_snd()))
           && ((_task == (Task_num)-1)
              || ((_other_task)   
                  ^ ((_task == task) || (_task == dst_task))))
          );
}


inline int Jdb_pf_trace::log()     { return _log; }

inline int Jdb_pf_trace::log_buf() { return _log_to_buf; }



inline int
Jdb_pf_trace::check_restriction(Global_id id, Address pfa)
{
  return (   (((_gthread == (GThread_num)-1)
              || ((_other_thread) ^ (_gthread == id.gthread()))))
          && (!(_addr.lo | _addr.hi)
              || (_addr.lo <= _addr.hi && pfa >= _addr.lo && pfa <= _addr.hi)
              || (_addr.lo >  _addr.hi && pfa <  _addr.hi && pfa >  _addr.lo)));
}


inline int Jdb_unmap_trace::log_buf() { return _log_to_buf; }



inline int
Jdb_unmap_trace::check_restriction(Global_id id, Address addr)
{
  return (   (((_gthread == (GThread_num)-1)
              || ((_other_thread) ^ (_gthread == id.gthread()))))
          && (!(_addr.lo | _addr.hi)
              || (_addr.lo <= _addr.hi && addr >= _addr.lo && addr <= _addr.hi)
              || (_addr.lo >  _addr.hi && addr <  _addr.hi && addr >  _addr.lo)
              ));
}


inline int Jdb_nextper_trace::log() { return _log; }

#endif // jdb_trace_h

---