src/object/tcb.c

1470 invokeTCB_CopyRegisters(tcb_t *dest, tcb_t *tcb_src,
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,
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, frameRegisters[i]);
1566                         getRegister(tcb_src, gpRegisters[i]));
1573                     getRegister(tcb_src, gpRegisters[i]);