pub fn seL4_WaitWithMRsWithoutIPCBuffer( src: seL4_CPtr, msg0: Option<&mut seL4_Word>, msg1: Option<&mut seL4_Word>, msg2: Option<&mut seL4_Word>, msg3: Option<&mut seL4_Word>, ) -> (WaitMessageInfo, seL4_Word)