Searched refs:receiveIndex (Results 1 - 11 of 11) sorted by relevance
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | functions.h | 63 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
70 if (receiveIndex != (void*)0) {
71 *receiveIndex = ipcbuffer->receiveIndex;
80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
84 ipcbuffer->receiveIndex = receiveIndex;
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | functions.h | 76 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
83 if (receiveIndex != (void*)0) {
84 *receiveIndex = ipcbuffer->receiveIndex;
93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
97 ipcbuffer->receiveIndex = receiveIndex;
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | functions.h | 70 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
76 if (receiveIndex != seL4_Null) {
77 SEL4_GET_IPCBUF(receiveIndex, *receiveIndex);
86 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
89 SEL4_SET_IPCBUF(receiveIndex, receiveIndex);
|
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | shared_types.h | 24 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | shared_types.h | 24 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 729 receiveIndex member in struct:seL4_IPCBuffer_
|
| H A D | EventTo.c | 629 receiveIndex member in struct:seL4_IPCBuffer_
|
| H A D | RPCFrom.c | 730 receiveIndex member in struct:seL4_IPCBuffer_
|
| H A D | RPCTo.c | 729 receiveIndex member in struct:seL4_IPCBuffer_
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | ipc.tex | 67 \ipcparam{seL4\_CPtr}{}{receiveIndex}{CPTR to the receive slot
70 \texttt{receiveIndex} to
150 in which it is willing to receive a capability, with three fields within the IPC buffer: \texttt{receiveCNode}, \texttt{receiveIndex} and \texttt{receiveDepth}.
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 173 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
|
Completed in 114 milliseconds