Searched refs:receiveIndex (Results 1 - 5 of 5) sorted by relevance
/seL4-refos-master/kernel/libsel4/include/sel4/ |
H A D | functions.h | 82 LIBSEL4_INLINE_FUNC void seL4_GetCapReceivePath(seL4_CPtr *receiveCNode, seL4_CPtr *receiveIndex, argument 90 if (receiveIndex != (void *)0) { 91 *receiveIndex = ipcbuffer->receiveIndex; 99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument 103 ipcbuffer->receiveIndex = receiveIndex;
|
H A D | shared_types.h | 17 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | functions.h | 82 LIBSEL4_INLINE_FUNC void seL4_GetCapReceivePath(seL4_CPtr *receiveCNode, seL4_CPtr *receiveIndex, argument 90 if (receiveIndex != (void *)0) { 91 *receiveIndex = ipcbuffer->receiveIndex; 99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument 103 ipcbuffer->receiveIndex = receiveIndex;
|
H A D | shared_types.h | 17 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | ipc.tex | 63 \ipcparam{seL4\_CPtr}{}{receiveIndex}{CPTR to the receive slot 66 \texttt{receiveIndex} to 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 85 milliseconds