Searched refs:receiveIndex (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dfunctions.h82 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 Dshared_types.h17 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dfunctions.h82 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 Dshared_types.h17 seL4_CPtr receiveIndex; member in struct:seL4_IPCBuffer_
/seL4-refos-master/kernel/manual/parts/
H A Dipc.tex63 \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