1 files changed, 2 insertions, 2 deletions
diff --git a/common/ipi.c b/common/ipi.c
index a5435a3..59f9fd1 100644
--- a/common/ipi.c
+++ b/common/ipi.c
@@ -25,11 +25,11 @@ void send_ipi(struct tcb *t)
 	cpu_send_ipi(t->cpu_id);
 }
 
-struct sys_ret handle_ipi(struct tcb *t)
+void handle_ipi()
 {
+	struct tcb *t = cur_tcb();
 	adjust_ipi(t);
 
 	/** @todo use rpc stack */
 	set_return(t, t->callback);
-	return get_args(t);
 }