sel4

Function set_ipc_buffer

Source
pub fn set_ipc_buffer(ipc_buffer: &'static mut IpcBuffer)
Expand description

Sets the IPC buffer that this crate will use for this thread.

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

Requires the "state" feature to be enabled.