Searched refs:receiveDepth (Results 1 - 6 of 6) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/ |
| H A D | functions.h | 63 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
74 if (receiveDepth != (void*)0) {
75 *receiveDepth = ipcbuffer->receiveDepth;
80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
85 ipcbuffer->receiveDepth = receiveDepth;
|
| /seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | functions.h | 76 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
87 if (receiveDepth != (void*)0) {
88 *receiveDepth = ipcbuffer->receiveDepth;
93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
98 ipcbuffer->receiveDepth = receiveDepth;
|
| /seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ |
| H A D | functions.h | 84 seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth) argument
94 if (receiveDepth != seL4_Null) {
95 SEL4_GET_IPCBUF(receiveDepth, *receiveDepth);
100 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
104 SEL4_SET_IPCBUF(receiveDepth, receiveDepth);
|
| /seL4-mcs-10.1.1/include/api/ |
| H A D | shared_types.h | 25 seL4_Word receiveDepth; member in struct:seL4_IPCBuffer_
|
| /seL4-mcs-10.1.1/libsel4/include/sel4/ |
| H A D | shared_types.h | 25 seL4_Word receiveDepth; member in struct:seL4_IPCBuffer_
|
| /seL4-mcs-10.1.1/manual/parts/ |
| H A D | ipc.tex | 69 \ipcparam{seL4\_Word}{}{receiveDepth}{Number of bits of
150 in which it is willing to receive a capability, with three fields within the IPC buffer: \texttt{receiveCNode}, \texttt{receiveIndex} and \texttt{receiveDepth}.
|
Completed in 207 milliseconds