update

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

diff --git a/kernel/fiasco/src/jdb/jdb_space.cpp b/kernel/fiasco/src/jdb/jdb_space.cpp
index f5239b0675ba08657f31248cb6ea9e4538b7b78b..b2f3bc1b12d7168315ff40a7abfd47751219f2b7 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_space.cpp
+++ b/kernel/fiasco/src/jdb/jdb_space.cpp
@@ -10,10 +10,12 @@ IMPLEMENTATION:
 #include "jdb_screen.h"
 #include "jdb_kobject.h"
 #include "kernel_console.h"
+#include "kernel_task.h"
 #include "keycodes.h"
 #include "ram_quota.h"
 #include "simpleio.h"
 #include "task.h"
+#include "thread_object.h"
 #include "static_init.h"
 
 class Jdb_space : public Jdb_module, public Jdb_kobject_handler
@@ -138,7 +140,7 @@ static
 bool
 filter_task_thread(Kobject const *o)
 {
-  return Kobject::dcast<Task const *>(o) || Kobject::dcast<Thread const *>(o);
+  return Kobject::dcast<Task const *>(o) || Kobject::dcast<Thread_object const *>(o);
 }
 static Jdb_space jdb_space INIT_PRIORITY(JDB_MODULE_INIT_PRIO);
 static Jdb_kobject_list::Mode INIT_PRIORITY(JDB_MODULE_INIT_PRIO) tnt("[Tasks + Threads]", filter_task_thread);