Function sel4_sys::seL4_SendWithMRsWithoutIPCBuffer
source · pub fn seL4_SendWithMRsWithoutIPCBuffer(
dest: seL4_CPtr,
msg_info: seL4_MessageInfo,
msg0: Option<seL4_Word>,
msg1: Option<seL4_Word>,
msg2: Option<seL4_Word>,
msg3: Option<seL4_Word>
)