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

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 24, 2024 · 3092bba · 3092bba
1 parent 1be696d
commit 3092bba
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))
 }