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)