1 files changed, 5 insertions, 0 deletions
diff --git a/src/ipi.c b/src/ipi.c
index e9bc4d3..d00ba1c 100644
--- a/src/ipi.c
+++ b/src/ipi.c
@@ -26,6 +26,11 @@ void send_ipi(struct tcb *t)
 	cpu_send_ipi(t->cpu_id);
 }
 
+void unqueue_ipi(struct tcb *t)
+{
+	queue_del(&t->ipi_queue);
+}
+
 void handle_ipi()
 {
 	struct tcb *t = cur_tcb();