update

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

diff --git a/kernel/fiasco/src/jdb/jdb_scheduler.cpp b/kernel/fiasco/src/jdb/jdb_scheduler.cpp
index eee7ee493a4a587e2b53cfb95417d19076c27b15..71728847ee7908d6e9c9fe7dc04a9cf35c4e0919 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_scheduler.cpp
+++ b/kernel/fiasco/src/jdb/jdb_scheduler.cpp
@@ -42,15 +42,4 @@ Jdb_cpu::kobject_type() const
   return JDB_ANSI_COLOR(blue) "Sched" JDB_ANSI_COLOR(default);
 }
 
-#if 0
-PUBLIC
-int
-Jdb_cpu::show_kobject_short(char *buf, int max, Kobject_common *o)
-{
-  Cpu_object *co = Kobject::dcast<Cpu_object *>(o);
-  return snprintf(buf, max, " id=%d o%sline", co->id(),
-                  Cpu::online(co->id()) ? "n" : "ff");
-}
-#endif
-
 static Jdb_cpu jdb_cpu INIT_PRIORITY(JDB_MODULE_INIT_PRIO);