crates/sel4: add seL4_SchedContext_Bind

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>

Author: dreamliner787-9

crates/sel4/src/invocations.rs

@@ -348,6 +348,13 @@ impl<C: InvocationContext> SchedControl<C> {
 
 #[sel4_cfg(KERNEL_MCS)]
 impl<C: InvocationContext> SchedContext<C> {
+    /// Corresponds to `seL4_SchedContext_Bind`.
+    pub fn bind_ntfn(self, notification: Notification) -> Result<()> {
+        Error::wrap(self.invoke(|cptr, ipc_buffer| {
+            ipc_buffer.inner_mut().seL4_SchedContext_Bind(cptr.bits(), notification.bits())
+        }))
+    }
+
     /// Corresponds to `seL4_SchedContext_Unbind`.
     pub fn unbind(self) -> Result<()> {
         Error::wrap(self.invoke(|cptr, ipc_buffer| {