X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/kernel/fiasco/src/jdb/jdb_semaphore.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_semaphore.cpp b/kernel/fiasco/src/jdb/jdb_semaphore.cpp
index f214a3d33..673dc12c7 100644
--- a/kernel/fiasco/src/jdb/jdb_semaphore.cpp
+++ b/kernel/fiasco/src/jdb/jdb_semaphore.cpp
@@ -60,7 +60,7 @@ Jdb_semaphore::show_kobject_short(char *buf, int max, Kobject *o)
         {
           Thread *t = static_cast<Thread *>(Sender::cast(s));
           len += snprintf(buf + len, max - len,
-                          "%s%lx", s == p ? "" : ",", t->dbg_id());
+                          "%s%lx", s == p ? "" : ",", t->dbg_info()->dbg_id());
           s = s->_s_next;
         } while (s != p);
       p = p->_p_next;