jdb_tcb_i.h

Go to the documentation of this file.

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

#ifndef jdb_tcb_i_h
#define jdb_tcb_i_h

#include <cstdio>
#include "entry_frame.h"
#include "jdb.h"
#include "jdb_input.h"
#include "jdb_module.h"
#include "jdb_screen.h"
#include "kernel_console.h"
#include "keycodes.h"
#include "l4_types.h"
#include "mem_layout.h"
#include "push_console.h"
#include "simpleio.h"
#include "static_init.h"
#include "thread.h"
#include "types.h"

class Jdb_tcb : public Jdb_module
{
  static L4_uid  threadid;
  static Address address;
  static char    first_char;
  static char    auto_tcb;

public:  
  Jdb_tcb();
  
  static Jdb_module::Action_code show(L4_uid tid, int level);
  
  /* --- original L4 screen ------------------------------------------------------
  thread: 0081 (001.01) <00020401 00080000>                             prio: 10
  state : 85, ready                            lists: 81                   mcp: ff
  
  wait for: --                             rcv descr: 00000000   partner: 00000000
  sndq    : 0081 0081                       timeouts: 00000000   waddr0/1: 000/000
  cpu time: 0000000000 timeslice: 01/0a
  
  pager   : --                            prsent lnk: 0080 0080
  ipreempt: --                            ready link : 0080 0080
  xpreempt: --
                                          soon wakeup lnk: 
  EAX=00202dfe  ESI=00020401  DS=0008     late wakeup lnk: 
  EBX=00000028  EDI=00080000  ES=0008
  ECX=00000003  EBP=e0020400
  EDX=00000001  ESP=e00207b4
  
  700:
  720:
  740:
  760:
  780:
  7a0:                                                  0000897b 00000020 00240082
  7c0:  00000000 00000000 00000000 00000000    00000000 00000000 00000000 00000000
  7e0:  00000000 00000000 ffffff80 00000000    0000001b 00003200 00000000 00000013
  L4KD: 
  ------------------------------------------------------------------------------*/
  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;

private:  
  static void at_jdb_enter();
  
  static Address search_bt_start(Address tcb, Mword *ksp, bool is_current_thread);
  
  static void print_entry_frame_regs(Task_num task);
  
  static void info_thread_state(Thread *t, Jdb::Guessed_thread_state state);
  
  static void print_regs_invalid_tid();
  
  static inline void print_thread_uid_raw(Thread *t);
};

class Jdb_tcb_ptr
{
public:
  Jdb_tcb_ptr(Address addr)
    : _base(addr & ~(Config::thread_block_size-1)),
      _offs(addr &  (Config::thread_block_size-1))
  {}

  Jdb_tcb_ptr(Jdb_tcb_ptr &p)
    : _base(p.base()), _offs(p.offs())
  {}

  inline bool valid(Address base)
  { 
    return _base == base && 
           _offs <= Config::thread_block_size-sizeof(Mword); 
  }

  bool operator > (int offs)
  {
    return offs < 0 ? _offs > Config::thread_block_size + offs*sizeof(Mword)
                    : _offs > offs*sizeof(Mword);
  }

  Jdb_tcb_ptr &operator += (int offs)
  { _offs += offs*sizeof(Mword); return *this; }

  inline Address addr()
  { return _base + _offs; }

  inline Mword value()
  { return *(Mword*)(_base + _offs); }

  inline void value(Mword v)
  { *(Mword*)(_base + _offs) = v; }

  inline bool is_user_value()
  { return _offs >= Config::thread_block_size - 5*sizeof(Mword); }

  inline Mword top_value(int offs)
  { return *((Mword*)(_base + Config::thread_block_size) + offs); }

  inline Address base()
  { return _base; }

  inline Address offs()
  { return _offs; }

  inline void offs(Address offs)
  { _offs = offs; }

private:
  Address  _base;
  Address  _offs;

public:  
  bool in_backtrace(Address bt_start, Address tcb);
};

//
// IMPLEMENTATION of inline functions follows
//




inline void
Jdb_tcb::print_thread_uid_raw(Thread *t)
{
  printf(" <%08x %08x>",
      (Unsigned32)(t->id().raw() >> 32), (Unsigned32)(t->id().raw()));
}

#endif // jdb_tcb_i_h

---