pub fn ipc_buffer_ptr() -> *mut IpcBuffer
Returns a pointer to the protection domain’s sel4::IpcBuffer.
sel4::IpcBuffer