jdb_thread_names.h

Go to the documentation of this file.

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

#ifndef jdb_thread_names_h
#define jdb_thread_names_h

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

//
// INTERFACE definition follows 
//


class Name_entry
{
public:
  enum
  {
    Size         = 19,
  };

private:
  Global_id      _id;
  char           _name[Size];

public:  
  inline bool is_invalid() const;
  
  inline void invalidate();
  
  inline Global_id id() const;
  
  inline const char * name() const;
  
  void set(Global_id id, const char *name);
};

class Jdb_thread_names
{
private:
  enum
  {
    Name_pages   = 2,
    Name_entries = (Name_pages<<Config::PAGE_SHIFT) / sizeof(Name_entry),
  };

  static Name_entry *_names;

public:  
  static FIASCO_INIT void init();
  
  static void register_thread(Global_id id, const char *name);
  
  static Name_entry * lookup(Global_id id);
};

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




inline const char *
Name_entry::name() const
{ return this ? _name : ""; }

#endif // jdb_thread_names_h

---