Home
last modified time | relevance | path

Searched defs:Arch_performTransfer (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/object/
A Dtcb.c20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() function
/seL4-master/src/arch/riscv/object/
A Dtcb.c20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() function
/seL4-master/src/arch/x86/object/
A Dtcb.c19 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() function

Completed in 9 milliseconds