Searched refs:receiveDepth (Results 1 - 5 of 5) sorted by relevance
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | functions.h | 83 seL4_Word *receiveDepth)
94 if (receiveDepth != (void *)0) {
95 *receiveDepth = ipcbuffer->receiveDepth;
99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
104 ipcbuffer->receiveDepth = receiveDepth;
82 seL4_GetCapReceivePath(seL4_CPtr *receiveCNode, seL4_CPtr *receiveIndex, seL4_Word *receiveDepth) argument
|
| H A D | shared_types.h | 18 seL4_Word receiveDepth; member in struct:seL4_IPCBuffer_
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | functions.h | 83 seL4_Word *receiveDepth)
94 if (receiveDepth != (void *)0) {
95 *receiveDepth = ipcbuffer->receiveDepth;
99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
104 ipcbuffer->receiveDepth = receiveDepth;
82 seL4_GetCapReceivePath(seL4_CPtr *receiveCNode, seL4_CPtr *receiveIndex, seL4_Word *receiveDepth) argument
|
| H A D | shared_types.h | 18 seL4_Word receiveDepth; member in struct:seL4_IPCBuffer_
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | ipc.tex | 65 \ipcparam{seL4\_Word}{}{receiveDepth}{Number of bits of
155 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 31 milliseconds