sel4

Function with_ipc_buffer_mut

Source
pub fn with_ipc_buffer_mut<F, T>(f: F) -> T
where F: FnOnce(&mut IpcBuffer) -> T,
Expand description

Provides mutable access to this thread’s IPC buffer.

Requires the "state" feature to be enabled.