00001
00002
00003 #ifndef jdb_counters_i_h
00004 #define jdb_counters_i_h
00005
00006 #include <cstdio>
00007 #include <cstring>
00008 #include "config.h"
00009 #include "jdb_tbuf.h"
00010 #include "jdb_module.h"
00011 #include "kern_cnt.h"
00012 #include "simpleio.h"
00013 #include "static_init.h"
00014
00015 class Jdb_counters : public Jdb_module
00016 {
00017 private:
00018 static char counters_cmd;
00019
00020 public:
00021 Jdb_module::Action_code action(int cmd, void *&, char const *&, int &);
00022
00023 Jdb_counters::Cmd const *const cmds() const;
00024
00025 int const num_cmds() const;
00026
00027 Jdb_counters();
00028
00029 private:
00030 void show();
00031
00032 void reset();
00033 };
00034
00035 #endif // jdb_counters_i_h