update

[l4.git] / kernel / fiasco / src / jdb / jdb_idle_stats.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_idle_stats.cpp b/kernel/fiasco/src/jdb/jdb_idle_stats.cpp
index a05b99d49a7886454be33971df01fed5c6212df8..9550e7ef184c93b9f481999a0246143db41a53bf 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_idle_stats.cpp
+++ b/kernel/fiasco/src/jdb/jdb_idle_stats.cpp
@@ -24,12 +24,13 @@ Jdb_module::Action_code
 Jdb_idle_stats::action(int, void *&, char const *&, int &)
 {
   printf("\nIDLE STATISTICS --------------------------\n");
-  for (unsigned i = 0; i < Config::Max_num_cpus; ++i)
+  for (Cpu_number i = Cpu_number::first(); i < Config::max_num_cpus(); ++i)
     {
       if (!Cpu::online(i))
         continue;
 
-      printf("CPU[%2u]: %lu times idle, %lu times deep sleep\n", i,
+      printf("CPU[%2u]: %lu times idle, %lu times deep sleep\n",
+             cxx::int_value<Cpu_number>(i),
              Kernel_thread::_idle_counter.cpu(i),
              Kernel_thread::_deep_idle_counter.cpu(i));
     }