X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/kern/tb_entry.cpp

diff --git a/kernel/fiasco/src/kern/tb_entry.cpp b/kernel/fiasco/src/kern/tb_entry.cpp
index 7014bc1cc..f9eb2e75b 100644
--- a/kernel/fiasco/src/kern/tb_entry.cpp
+++ b/kernel/fiasco/src/kern/tb_entry.cpp
@@ -41,7 +41,7 @@ struct Tb_log_table_entry
 };
 
 extern Tb_log_table_entry _log_table[];
-extern Tb_log_table_entry _log_table_end[];
+extern Tb_log_table_entry _log_table_end;
 
 class Context;
 class Space;
@@ -454,7 +454,7 @@ Tb_entry_ipc::set_sc(Context const *ctx, Mword ip, Syscall_frame *ipc_regs,
 PUBLIC inline
 Mword
 Tb_entry_ipc::ipc_type() const
-{ return payload<Payload>()->_dst.flags(); }
+{ return payload<Payload>()->_dst.op(); }
 
 PUBLIC inline
 Mword