Searched refs:seL4_SetCapReceivePath (Results 1 - 7 of 7) sorted by relevance
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | ipcbuffer.h | 23 seL4_SetCapReceivePath(
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | ipcbuffer.h | 23 seL4_SetCapReceivePath(
|
/seL4-refos-master/kernel/libsel4/include/sel4/ |
H A D | functions.h | 99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) function
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | functions.h | 99 LIBSEL4_INLINE_FUNC void seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) function
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 110 seL4_SetCapReceivePath(REFOS_CSPACE, recv_cslot, REFOS_CSPACE_DEPTH); 118 seL4_SetCapReceivePath(cspace, recv_cslot, depth);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 110 seL4_SetCapReceivePath(REFOS_CSPACE, recv_cslot, REFOS_CSPACE_DEPTH); 118 seL4_SetCapReceivePath(cspace, recv_cslot, depth);
|
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 213 seL4_SetCapReceivePath(get_serial_server()->server_cspace,
|
Completed in 257 milliseconds