Function sel4_sys::seL4_RecvWithMRsWithoutIPCBuffer

source · 
pub fn seL4_RecvWithMRsWithoutIPCBuffer(
    src: seL4_CPtr,
    msg0: Option<&mut seL4_Word>,
    msg1: Option<&mut seL4_Word>,
    msg2: Option<&mut seL4_Word>,
    msg3: Option<&mut seL4_Word>,
    reply_authority: ReplyAuthority
) -> (seL4_MessageInfo, seL4_Word)