Searched refs:tcb_src (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | tcb.c | 33 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 D | tcb.c | 26 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 D | tcb.c | 23 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 1470 invokeTCB_CopyRegisters(tcb_t *dest, tcb_t *tcb_src, argument
1476 suspend(tcb_src);
1489 v = getRegister(tcb_src, frameRegisters[i]);
1502 v = getRegister(tcb_src, gpRegisters[i]);
1515 return Arch_performTransfer(transferArch, tcb_src, dest);
1525 invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, argument
1535 suspend(tcb_src);
1538 e = Arch_performTransfer(arch, tcb_src, NODE_STATE(ksCurThread));
1552 getRegister(tcb_src, frameRegisters[i]));
1557 ipcBuffer[i + 1] = getRegister(tcb_src, frameRegister
[all...] |
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | tcb.h | 144 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src,
|
Completed in 76 milliseconds