Searched defs:receiveCNode (Results 1 - 5 of 5) 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
80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
|
| /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
93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
|
| /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
100 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) argument
|
| /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_
|
Completed in 77 milliseconds