From 604e7cb1303059b544b8c163b1d2dfb55b5d2730 Mon Sep 17 00:00:00 2001
From: Alwin Joshy <joshyalwin@gmail.com>
Date: Tue, 2 Jul 2024 13:57:06 +1000
Subject: [PATCH] add tcb_unbind_notification invocation

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
---
 crates/sel4/src/invocations.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/crates/sel4/src/invocations.rs b/crates/sel4/src/invocations.rs
index c969e59d5..3697b11d7 100644
--- a/crates/sel4/src/invocations.rs
+++ b/crates/sel4/src/invocations.rs
@@ -249,6 +249,15 @@ impl<C: InvocationContext> Tcb<C> {
                 .seL4_TCB_BindNotification(cptr.bits(), notification.bits())
         }))
     }
+
+    /// Corresponds to `seL4_TCB_UnbindNotification`.
+    pub fn tcb_unbind_notification(self) -> Result<()> {
+        Error::wrap(self.invoke(|cptr, ipc_buffer| {
+            ipc_buffer
+                .inner_mut()
+                .seL4_TCB_UnbindNotification(cptr.bits())
+        }))
+    }
 }
 
 #[sel4_cfg(KERNEL_MCS)]