Function sel4::with_ipc_buffer

source · 
pub fn with_ipc_buffer<F, T>(f: F) -> T
where
    F: FnOnce(&IpcBuffer) -> T,
Expand description

Provides access to this thread’s IPC buffer.

Requires the "state" feature to be enabled.