From bc616837a20826b38ee33e2bb875dab8c8148097 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Mon, 24 Jun 2024 06:31:08 +0000
Subject: [PATCH] crates/sel4-microkit: Add ipc::reply()

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/sel4-microkit/base/src/ipc.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/crates/sel4-microkit/base/src/ipc.rs b/crates/sel4-microkit/base/src/ipc.rs
index 902d4405e..8f6b89d57 100644
--- a/crates/sel4-microkit/base/src/ipc.rs
+++ b/crates/sel4-microkit/base/src/ipc.rs
@@ -83,6 +83,10 @@ impl Iterator for NotifiedEventIter {
     }
 }
 
+pub fn reply(msg_info: MessageInfo) {
+    REPLY_CAP.send(msg_info.into_inner())
+}
+
 pub fn recv() -> Event {
     Event::from_recv(INPUT_CAP.recv(REPLY_CAP))
 }