00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_trace_set_i_h 00004 #define jdb_trace_set_i_h 00005 00006 #include <cstdio> 00007 00008 #include "config.h" 00009 #include "cpu.h" 00010 #include "idt.h" 00011 #include "jdb_module.h" 00012 #include "jdb_tbuf.h" 00013 #include "jdb_trace.h" 00014 #include "keycodes.h" 00015 #include "simpleio.h" 00016 #include "static_init.h" 00017 00018 class Jdb_set_trace : public Jdb_module 00019 { 00020 static char first_char; 00021 static char second_char; 00022 00023 public: 00024 static FIASCO_NOINLINE void set_cpath(); 00025 00026 Jdb_module::Action_code action(int cmd, void *&args, char const *&fmt, int &); 00027 00028 Jdb_module::Cmd const *const cmds() const; 00029 00030 int const num_cmds() const; 00031 00032 Jdb_set_trace(); 00033 00034 private: 00035 static void set_ipc_vector(); 00036 00037 static void set_unmap_vector(); 00038 }; 00039 00040 #endif // jdb_trace_set_i_h