00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_attach_irq_i_h 00004 #define jdb_attach_irq_i_h 00005 00006 #include <cstdio> 00007 00008 #include "irq_alloc.h" 00009 #include "jdb_module.h" 00010 #include "kernel_console.h" 00011 #include "static_init.h" 00012 #include "thread.h" 00013 #include "types.h" 00014 00015 00016 //=================== 00017 // Std JDB modules 00018 //=================== 00019 00026 class Jdb_attach_irq : public Jdb_module 00027 { 00028 private: 00029 static char subcmd; 00030 static unsigned irq; 00031 00032 public: 00033 Jdb_attach_irq(); 00034 00035 Jdb_module::Action_code action( int cmd, void *&args, char const *&fmt, int & ); 00036 00037 int const num_cmds() const; 00038 00039 Jdb_module::Cmd const *const cmds() const; 00040 }; 00041 00042 #endif // jdb_attach_irq_i_h