crates/sel4-microkit: Add ipc::reply()

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jun 24, 2024 · bc61683 · bc61683
1 parent 40d6d6a
commit bc61683
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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))
 }