update

[l4.git] / kernel / fiasco / src / kern / irq.cpp

diff --git a/kernel/fiasco/src/kern/irq.cpp b/kernel/fiasco/src/kern/irq.cpp
index df1258d9bb5b526ed38747ccfab77bef24d5e586..c3784a426a81e65b8352c62526b92c3417643b7a 100644 (file)
--- a/kernel/fiasco/src/kern/irq.cpp
+++ b/kernel/fiasco/src/kern/irq.cpp
@@ -401,7 +401,7 @@ Irq_sender::transfer_msg(Receiver *recv)
   Syscall_frame* dst_regs = recv->rcv_regs();
 
   // set ipc return value: OK
-  dst_regs->tag(L4_msg_tag(0, 0, 0, L4_msg_tag::Label_irq));
+  dst_regs->tag(L4_msg_tag(0));
 
   // set ipc source thread id
   dst_regs->from(_irq_id);