Function sel4::with_ipc_buffer
source · pub fn with_ipc_buffer<F, T>(f: F) -> Twhere
F: FnOnce(&IpcBuffer) -> T,
Expand description
Provides access to this thread’s IPC buffer.
Requires the "state"
feature to be enabled.
pub fn with_ipc_buffer<F, T>(f: F) -> Twhere
F: FnOnce(&IpcBuffer) -> T,
Provides access to this thread’s IPC buffer.
Requires the "state"
feature to be enabled.