]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/tb_entry.cpp
update
[l4.git] / kernel / fiasco / src / kern / tb_entry.cpp
index 7014bc1cc809ead39e01ae6eb16f44f9efe5a2d1..f9eb2e75b87b464eead1527d1b4609a21e247712 100644 (file)
@@ -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