Searched refs:msg (Results 1 - 12 of 12) sorted by relevance

/seL4-mcs-10.1.1/include/api/
H A Dshared_types.h20 seL4_Word msg[seL4_MsgMaxLength]; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dshared_types.h20 seL4_Word msg[seL4_MsgMaxLength]; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h23 return seL4_GetIPCBuffer()->msg[i];
29 seL4_GetIPCBuffer()->msg[i] = mr;
H A Dsyscalls.h597 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h36 return seL4_GetIPCBuffer()->msg[i];
42 seL4_GetIPCBuffer()->msg[i] = mr;
H A Dsyscalls.h540 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h23 SEL4_GET_IPCBUF_SCALE(msg, i, mr);
30 SEL4_SET_IPCBUF_SCALE(msg, i, mr);
/seL4-mcs-10.1.1/src/benchmark/
H A Dbenchmark_utilisation.c23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0]));
/seL4-mcs-10.1.1/tools/
H A Dlex.py90 def critical(self,msg,*args,**kwargs):
91 self.f.write((msg % args) + "\n")
93 def warning(self,msg,*args,**kwargs):
94 self.f.write("WARNING: "+ (msg % args) + "\n")
96 def error(self,msg,*args,**kwargs):
97 self.f.write("ERROR: " + (msg % args) + "\n")
/seL4-mcs-10.1.1/manual/parts/
H A Dipc.tex58 \ipcparam{seL4\_Word[]}{}{msg}{Message contents}
86 \texttt{msg} field to transfer arguments. However, it leaves room in
92 \texttt{msg[2]} and \texttt{msg[3]}.
94 the space left in the \texttt{msg} array if desired.
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h698 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h633 strcpy((char*)seL4_GetIPCBuffer()->msg, name);

Completed in 131 milliseconds