Searched refs:receiveCNode (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 66 if (receiveCNode != (void*)0) { 67 *receiveCNode = ipcbuffer->receiveCNode; 80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument 83 ipcbuffer->receiveCNode = receiveCNode;
|
/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 79 if (receiveCNode != (void*)0) { 80 *receiveCNode = ipcbuffer->receiveCNode; 93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument 96 ipcbuffer->receiveCNode = receiveCNode;
|
/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 86 if (receiveCNode != seL4_Null) { 87 SEL4_GET_IPCBUF(receiveCNode, *receiveCNode); 100 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument 102 SEL4_SET_IPCBUF(receiveCNode, receiveCNode);
|
/seL4-mcs-10.1.1/include/api/ |
H A D | shared_types.h | 23 seL4_CPtr receiveCNode; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | shared_types.h | 23 seL4_CPtr receiveCNode; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/manual/parts/ |
H A D | ipc.tex | 64 \ipcparam{seL4\_CPtr}{}{receiveCNode}{CPTR to a CNode from which to 68 relative to \texttt{receiveCNode}} 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 93 milliseconds