Function sel4_microkit::ipc_buffer_ptr

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

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