1 files changed, 0 insertions, 35 deletions
diff --git a/common/ipi.c b/common/ipi.c
deleted file mode 100644
index 59f9fd1..0000000
--- a/common/ipi.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/ipi.h>
-#include <arch/cpu.h>
-
-#include <arch/proc.h>
-
-/**
- * @file ipi.c
- *
- * IPI function implementations.
- */
-
-bool clear_ipi(struct tcb *t)
-{
-	bool r = t->ipi;
-	t->ipi = false;
-	return r;
-}
-
-void send_ipi(struct tcb *t)
-{
-	t->ipi = true;
-	cpu_send_ipi(t->cpu_id);
-}
-
-void handle_ipi()
-{
-	struct tcb *t = cur_tcb();
-	adjust_ipi(t);
-
-	/** @todo use rpc stack */
-	set_return(t, t->callback);
-}