jdb_i.h

Go to the documentation of this file.

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

#ifndef jdb_i_h
#define jdb_i_h

class Jdb_tid_ext : public Jdb_prompt_ext
{
public:
  void ext();
  void update();
};

class Jdb_output_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline Unsigned8* str();
  
  inline int len();
};

class Jdb_status_page_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline void set(Address status_page);
};

class Jdb_log_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline Unsigned8* str();
  
  inline void set_tb_entry(Tb_entry* tb_entry);
};

class Jdb_log_3val_frame : public Jdb_log_frame
{
public:  
  //---------------------------------------------------------------------------
  inline Mword val1();
  
  inline Mword val2();
  
  inline Mword val3();
};

class Jdb_debug_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline Task_num task();
  
  inline Mword addr();
  
  inline Mword size();
};

class Jdb_symbols_frame : public Jdb_debug_frame
{};

class Jdb_lines_frame : public Jdb_debug_frame
{};

class Jdb_get_cputime_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline void invalidate();
  
  inline void set(L4_uid next, Cpu_time total_us, unsigned short prio);
  
  inline L4_uid dst();
};

class Jdb_thread_name_frame : public Jdb_entry_frame
{
public:  
  //---------------------------------------------------------------------------
  inline const char * name();
  
  inline L4_uid dst();
};

//
// IMPLEMENTATION of inline functions follows
//




inline void
Jdb::backspace()
{
  putstr("\b \b");
}


//---------------------------------------------------------------------------

inline Unsigned8*
Jdb_output_frame::str()
{ return (Unsigned8*)eax; }



inline int
Jdb_output_frame::len()
{ return (unsigned)ebx; }


//---------------------------------------------------------------------------

inline void
Jdb_status_page_frame::set(Address status_page)
{ eax = (Mword)status_page; }


//---------------------------------------------------------------------------

inline Unsigned8*
Jdb_log_frame::str()
{ return (Unsigned8*)edx; }



inline void
Jdb_log_frame::set_tb_entry(Tb_entry* tb_entry)
{ eax = (Mword)tb_entry; }


//---------------------------------------------------------------------------

inline Mword
Jdb_log_3val_frame::val1()
{ return ecx; }



inline Mword
Jdb_log_3val_frame::val2()
{ return esi; }



inline Mword
Jdb_log_3val_frame::val3()
{ return edi; }


//---------------------------------------------------------------------------

inline Task_num
Jdb_debug_frame::task()
{ return (Task_num)ebx; }



inline Mword
Jdb_debug_frame::addr()
{ return eax; }



inline Mword
Jdb_debug_frame::size()
{ return edx; }


//---------------------------------------------------------------------------

inline void
Jdb_get_cputime_frame::invalidate()
{ ecx = 0xffffffff; }



inline void
Jdb_get_cputime_frame::set(L4_uid next, Cpu_time total_us, unsigned short prio)
{
  eax = total_us;
  edx = total_us >> 32;
  ecx = prio;
  esi = next.raw(); 
  edi = next.raw() >> 32;
}



inline L4_uid
Jdb_get_cputime_frame::dst()
{ return L4_uid((Unsigned64)edi << 32 | (Unsigned64)esi); }


//---------------------------------------------------------------------------

inline const char *
Jdb_thread_name_frame::name()
{ return (const char*)eax; }



inline L4_uid
Jdb_thread_name_frame::dst()
{ return L4_uid((Unsigned64)edi << 32 | (Unsigned64)esi); }

#endif // jdb_i_h

---