From 4829e11dabc681e8901fa5e148129cd0c7116342 Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Thu, 3 Aug 2023 18:40:19 +0300
Subject: dispatch doesn't have to worry about ipi

---
 common/dispatch.c | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'common')

diff --git a/common/dispatch.c b/common/dispatch.c
index 62f10a9..2786678 100644
--- a/common/dispatch.c
+++ b/common/dispatch.c
@@ -31,11 +31,5 @@
 void dispatch(sys_arg_t a, sys_arg_t b, sys_arg_t c,
               sys_arg_t d, sys_arg_t e, sys_arg_t f)
 {
-	struct tcb *t = cur_tcb();
-	if (clear_ipi(t)) {
-		handle_ipi(t);
-		return;
-	}
-
-	handle_syscall(a, b, c, d, e, f, t);
+	handle_syscall(a, b, c, d, e, f, cur_tcb());
 }
-- 
cgit v1.3