Searched refs:tcb_dest (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dtcb.c33 Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dtcb.c26 Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c23 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h145 tcb_t *tcb_dest);

Completed in 106 milliseconds