update

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

diff --git a/kernel/fiasco/src/jdb/jdb_thread_list.cpp b/kernel/fiasco/src/jdb/jdb_thread_list.cpp
index 117fe5fd6b3e1a6ea6303128ac8190fe9be7f80a..68a7faf660da62a5f1a46613a2544ea6ddb67749 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_thread_list.cpp
+++ b/kernel/fiasco/src/jdb/jdb_thread_list.cpp
@@ -194,7 +194,7 @@ static
 long
 Jdb_thread_list::get_tid(Thread *t)
 {
-  return t->dbg_id();
+  return t->dbg_info()->dbg_id();
 }
 
 // helper function for iter() -- use space as sorting key
@@ -553,13 +553,13 @@ Jdb_thread_list::list_threads_show_thread(Thread *t)
 
   if (is_privileged && !long_output)
     printf("%s", Jdb::esc_emph);
-  Jdb_kobject::print_uid(t, 5);
+  Jdb_kobject::print_uid(t->kobject(), 5);
   if ((is_privileged) && !long_output)
     putstr("\033[m");
 
   printf(" %-3u ", t->cpu());
 
-  print_thread_name(t);
+  print_thread_name(t->kobject());
 
   printf("  %2lx ", get_prio(t));