sel4

Function try_with_ipc_buffer_slot_mut

Source
pub fn try_with_ipc_buffer_slot_mut<F, T>(f: F) -> T
where F: FnOnce(Result<&mut Option<&'static mut IpcBuffer>, BorrowMutError>) -> T,
Expand description

Provides low-level mutable access to this thread’s IPC buffer.

This function does not modify kernel state. It only affects this crate’s thread-local state.

Requires the "state" feature to be enabled.