1 IMPLEMENTATION [tickless_idle]:
8 #include "jdb_module.h"
9 #include "kernel_thread.h"
10 #include "static_init.h"
13 class Jdb_idle_stats : public Jdb_module
16 Jdb_idle_stats() FIASCO_INIT;
20 Jdb_idle_stats::Jdb_idle_stats() : Jdb_module("INFO") {}
23 Jdb_module::Action_code
24 Jdb_idle_stats::action(int, void *&, char const *&, int &)
26 printf("\nIDLE STATISTICS --------------------------\n");
27 for (unsigned i = 0; i < Config::Max_num_cpus; ++i)
32 printf("CPU[%2u]: %lu times idle, %lu times deep sleep\n", i,
33 Kernel_thread::_idle_counter.cpu(i),
34 Kernel_thread::_deep_idle_counter.cpu(i));
40 Jdb_module::Cmd const *
41 Jdb_idle_stats::cmds() const
45 { 0, 0, "idle", "", "idle\tshow IDLE statistics", 0},
52 Jdb_idle_stats::num_cmds() const
55 static Jdb_idle_stats jdb_idle_stats INIT_PRIORITY(JDB_MODULE_INIT_PRIO);