Searched refs:tcb_src (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/src/arch/arm/object/ |
| A D | tcb.c | 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() argument
|
| /seL4-master/src/arch/riscv/object/ |
| A D | tcb.c | 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() argument
|
| /seL4-master/src/arch/x86/object/ |
| A D | tcb.c | 19 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) in Arch_performTransfer() argument
|
| /seL4-master/src/object/ |
| A D | tcb.c | 1862 exception_t invokeTCB_CopyRegisters(tcb_t *dest, tcb_t *tcb_src, in invokeTCB_CopyRegisters() argument
1868 suspend(tcb_src); in invokeTCB_CopyRegisters()
1881 v = getRegister(tcb_src, frameRegisters[i]); in invokeTCB_CopyRegisters()
1894 v = getRegister(tcb_src, gpRegisters[i]); in invokeTCB_CopyRegisters()
1907 return Arch_performTransfer(transferArch, tcb_src, dest); in invokeTCB_CopyRegisters()
1916 exception_t invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, in invokeTCB_ReadRegisters() argument
1926 suspend(tcb_src); in invokeTCB_ReadRegisters()
1929 e = Arch_performTransfer(arch, tcb_src, NODE_STATE(ksCurThread)); in invokeTCB_ReadRegisters()
1943 getRegister(tcb_src, frameRegisters[i])); in invokeTCB_ReadRegisters()
1957 getRegister(tcb_src, gpRegisters[i])); in invokeTCB_ReadRegisters()
[all …]
|
| /seL4-master/include/object/ |
| A D | tcb.h | 223 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src,
|
Completed in 8 milliseconds