sel4_microkit_base

Function ipc_buffer_ptr

Source
pub fn ipc_buffer_ptr() -> *mut IpcBuffer
Expand description

Returns a pointer to the protection domain’s sel4::IpcBuffer.