Skip to content

Commit

Permalink
add tcb_unbind_notification invocation
Browse files Browse the repository at this point in the history
Signed-off-by: Alwin Joshy <[email protected]>
  • Loading branch information
alwin-joshy committed Jul 2, 2024
1 parent 4f13dd2 commit 25d029a
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions crates/sel4/src/invocations.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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)]
Expand Down

0 comments on commit 25d029a

Please sign in to comment.