Searched defs:seL4_SetCapReceivePath (Results 1 - 1 of 1) sorted by relevance
/seL4-test-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 |
Completed in 95 milliseconds