Searched refs:seL4_SetCapReceivePath (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h80 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) function
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h93 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) function
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h100 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth) function

Completed in 86 milliseconds