jdb_tbuf_output.h

Go to the documentation of this file.

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

#ifndef jdb_tbuf_output_h
#define jdb_tbuf_output_h

#include "initcalls.h"
#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Tb_entry;

class Jdb_tbuf_output
{
private:
  typedef unsigned (Format_entry_fn)(Tb_entry *tb, const char *tidstr,
                                     char *buf, int maxlen);
  static Format_entry_fn *_format_entry_fn[];

public:  
  static void FIASCO_INIT init();
  
  static void register_ff(Unsigned8 type, Format_entry_fn format_entry_fn);
  
  // return task+ip of entry <e_nr>
  static int thread_ip(int e_nr, Global_id *tid, Mword *ip);
  
  static void print_entry(int e_nr, char *buf, int maxlen);
  
  static void print_entry(Tb_entry *tb, char *buf, int maxlen);
  
  static bool set_filter(const char *filter_str, Mword *entries);

private:  
  static unsigned dummy_format_entry(Tb_entry *tb, const char *, char *buf, int maxlen);
};

#endif // jdb_tbuf_output_h

---