Function sel4::set_ipc_buffer

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

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.