1 files changed, 35 insertions, 0 deletions
diff --git a/src/ipi.c b/src/ipi.c
new file mode 100644
index 0000000..59f9fd1
--- /dev/null
+++ b/src/ipi.c
@@ -0,0 +1,35 @@
+/* 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);
+}