update

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

diff --git a/kernel/fiasco/src/jdb/jdb_ipc_gate.cpp b/kernel/fiasco/src/jdb/jdb_ipc_gate.cpp
index f9806cb4bf0416ebe6f092242f258f0115ddddc8..7ed03031e131f459002c25de7bf29633867ad26c 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_ipc_gate.cpp
+++ b/kernel/fiasco/src/jdb/jdb_ipc_gate.cpp
@@ -31,7 +31,7 @@ Kobject *
 Jdb_ipc_gate::follow_link(Kobject *o)
 {
   Ipc_gate_obj *g = Kobject::dcast<Ipc_gate_obj *>(o);
-  return g->thread() ? static_cast<Kobject*>(g->thread()) : o;
+  return g->thread() ? g->thread()->kobject() : o;
 }
 
 PUBLIC
@@ -49,7 +49,7 @@ Jdb_ipc_gate::show_kobject_short(char *buf, int max, Kobject *o)
 
   return snprintf(buf, max, " L=%s%08lx\033[0m D=%lx",
                   (g->id() & 3) ? JDB_ANSI_COLOR(lightcyan) : "",
-                  g->id(), g->thread() ? g->thread()->dbg_id() : 0);
+                  g->id(), g->thread() ? g->thread()->dbg_info()->dbg_id() : 0);
 }
 
 PUBLIC