Searched refs:msg (Results 1 - 12 of 12) sorted by relevance
/seL4-mcs-10.1.1/include/api/ |
H A D | shared_types.h | 20 seL4_Word msg[seL4_MsgMaxLength]; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | shared_types.h | 20 seL4_Word msg[seL4_MsgMaxLength]; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/ |
H A D | functions.h | 23 return seL4_GetIPCBuffer()->msg[i]; 29 seL4_GetIPCBuffer()->msg[i] = mr;
|
H A D | syscalls.h | 597 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
|
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
H A D | functions.h | 36 return seL4_GetIPCBuffer()->msg[i]; 42 seL4_GetIPCBuffer()->msg[i] = mr;
|
H A D | syscalls.h | 540 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
|
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ |
H A D | functions.h | 23 SEL4_GET_IPCBUF_SCALE(msg, i, mr); 30 SEL4_SET_IPCBUF_SCALE(msg, i, mr);
|
/seL4-mcs-10.1.1/src/benchmark/ |
H A D | benchmark_utilisation.c | 23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0]));
|
/seL4-mcs-10.1.1/tools/ |
H A D | lex.py | 90 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 D | ipc.tex | 58 \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 D | syscalls.h | 698 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 633 strcpy((char*)seL4_GetIPCBuffer()->msg, name);
|
Completed in 131 milliseconds