pub fn seL4_CallWithMRsWithoutIPCBuffer(
dest: seL4_CPtr,
msg_info: seL4_MessageInfo,
msg0: Option<&mut seL4_Word>,
msg1: Option<&mut seL4_Word>,
msg2: Option<&mut seL4_Word>,
msg3: Option<&mut seL4_Word>,
) -> seL4_MessageInfo