jdb_halt_thread_i.h

Go to the documentation of this file.

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

#ifndef jdb_halt_thread_i_h
#define jdb_halt_thread_i_h

#include <cstdio>
#include "entry_frame.h"
#include "gdt.h"
#include "jdb_module.h"
#include "static_init.h"
#include "thread.h"

class Jdb_halt_thread : public Jdb_module
{
  static L4_uid  threadid;

public:  
  Jdb_module::Action_code action(int cmd, void *&, char const *&, int &);
  
  Jdb_module::Cmd const *const cmds() const;
  
  int const num_cmds() const;
  
  Jdb_halt_thread();
};

#endif // jdb_halt_thread_i_h

---