update

[l4.git] / 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 f214a3d33ee70254682778f33341cdceac03abec..673dc12c75456645bc8dea7eb16417e4ddc80edd 100644 (file)
--- 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;