1 files changed, 0 insertions, 35 deletions
diff --git a/common/dispatch.c b/common/dispatch.c
deleted file mode 100644
index 2786678..0000000
--- a/common/dispatch.c
+++ /dev/null
@@ -1,35 +0,0 @@
-/* SPDX-License-Identifier: copyleft-next-0.3.1 */
-/* Copyright 2023 Kim Kuparinen < kimi.h.kuparinen@gmail.com > */
-
-#include <kmi/uapi.h>
-#include <kmi/ipi.h>
-
-/**
- * @file dispatch.c
- *
- * Interface between assembly and C for dispatching syscalls/IPIs.
- * In kmi, IPIs are a higher level concept and is not expected to be handled by
- * the underlying architecture. Instead, we only require that there is some way
- * to trigger an interrupt in some other core, and check if the interrupt was an
- * IPI or syscall in C.
- */
-
-/**
- * Syscall/IPI handler.
- * If a syscall was triggered, parameters have the meaning they are given.
- * Otherwise, they are meaningless and unused.
- *
- * @param a Syscall number.
- * @param b Argument 0.
- * @param c Argument 1.
- * @param d Argument 2.
- * @param e Argument 3.
- * @param f Argument 4.
- *
- * Returns value of taken action.
- */
-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)
-{
-	handle_syscall(a, b, c, d, e, f, cur_tcb());
-}