sel4_sys

Function seL4_NBSendWithMRsWithoutIPCBuffer

Source 
pub fn seL4_NBSendWithMRsWithoutIPCBuffer(
    dest: seL4_CPtr,
    msg_info: seL4_MessageInfo,
    msg0: Option<seL4_Word>,
    msg1: Option<seL4_Word>,
    msg2: Option<seL4_Word>,
    msg3: Option<seL4_Word>,
)