update

[l4.git] / kernel / fiasco / src / kern / ux / usermode.cpp

diff --git a/kernel/fiasco/src/kern/ux/usermode.cpp b/kernel/fiasco/src/kern/ux/usermode.cpp
index 059808ee890e9126ebf791489155a16cc9a4d0d4..b998baf1d3d2c5abb63666742b7aae14200ead29 100644 (file)
--- a/kernel/fiasco/src/kern/ux/usermode.cpp
+++ b/kernel/fiasco/src/kern/ux/usermode.cpp
@@ -212,7 +212,7 @@ Usermode::kernel_entry (unsigned _cpu,
   if ((Mword) kesp % THREAD_BLOCK_SIZE <= 512)
     {
       printf("KERNEL BUG: Kernel stack of thread ");
-      printf("DBGID=%lx\n", static_cast<Thread*>(context_of(kesp))->dbg_id());
+      printf("DBGID=%lx\n", static_cast<Thread*>(context_of(kesp))->dbg_info()->dbg_id());
       panic(" exceeded (%p, %c). \n"
             "            As a workaround, please make sure that you built \n"
             "            Fiasco-UX with enabled CONTEXT_4K.",