X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/kern/syscalls-log.cpp

diff --git a/kernel/fiasco/src/kern/syscalls-log.cpp b/kernel/fiasco/src/kern/syscalls-log.cpp
index 9615a1f52..d861d5861 100644
--- a/kernel/fiasco/src/kern/syscalls-log.cpp
+++ b/kernel/fiasco/src/kern/syscalls-log.cpp
@@ -49,9 +49,9 @@ extern "C" void sys_ipc_log_wrapper(void)
 	    dbg_id = ~0UL;
 	}
       Tb_entry_ipc _local;
-      Tb_entry_ipc *tb = static_cast<Tb_entry_ipc*>
-	(EXPECT_TRUE(Jdb_ipc_trace::log_buf()) ? Jdb_tbuf::new_entry()
-					   : &_local);
+      Tb_entry_ipc *tb = EXPECT_TRUE(Jdb_ipc_trace::log_buf())
+                       ? Jdb_tbuf::new_entry<Tb_entry_ipc>()
+                       : &_local;
       tb->set(curr, regs->ip(), ipc_regs, utcb,
 	      dbg_id, curr->sched_context()->left());