Searched refs:receiveCNode (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dfunctions.h82 LIBSEL4_INLINE_FUNC void seL4_GetCapReceivePath(seL4_CPtr *receiveCNode, seL4_CPtr *receiveIndex, argument
86 if (receiveCNode != (void *)0) {
87 *receiveCNode = ipcbuffer->receiveCNode;
99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
102 ipcbuffer->receiveCNode = receiveCNode;
H A Dshared_types.h16 seL4_CPtr receiveCNode; member in struct:seL4_IPCBuffer_
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c722 receiveCNode member in struct:seL4_IPCBuffer_
H A DEventTo.c622 receiveCNode member in struct:seL4_IPCBuffer_
H A DRPCTo.c722 receiveCNode member in struct:seL4_IPCBuffer_
H A DRPCFrom.c723 receiveCNode member in struct:seL4_IPCBuffer_
/seL4-l4v-master/seL4/manual/parts/
H A Dipc.tex60 \ipcparam{seL4\_CPtr}{}{receiveCNode}{CPTR to a CNode from which to
64 relative to \texttt{receiveCNode}}
155 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-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c168 seL4_CPtr receiveCNode; member in struct:seL4_IPCBuffer_

Completed in 179 milliseconds