include/object/tcb.h

89 exception_t decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap,
92 exception_t decodeCopyRegisters(cap_t cap, word_t length,
94 exception_t decodeReadRegisters(cap_t cap, word_t length, bool_t call,
96 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer);
97 exception_t decodeTCBConfigure(cap_t cap, word_t length,
99 exception_t decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
100 exception_t decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
101 exception_t decodeSetSchedParams(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
102 exception_t decodeSetIPCBuffer(cap_t cap, word_t length,
104 exception_t decodeSetSpace(cap_t cap, word_t length,
106 exception_t decodeDomainInvocation(word_t invLabel, word_t length,
108 exception_t decodeBindNotification(cap_t cap, extra_caps_t excaps);
109 exception_t decodeUnbindNotification(cap_t cap);
120 exception_t invokeTCB_Suspend(tcb_t *thread);
121 exception_t invokeTCB_Resume(tcb_t *thread);
122 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t* slot, cptr_t faultep,
128 exception_t invokeTCB_CopyRegisters(tcb_t *dest, tcb_t *src,
132 exception_t invokeTCB_ReadRegisters(tcb_t *src, bool_t suspendSource,
134 exception_t invokeTCB_WriteRegisters(tcb_t *dest, bool_t resumeTarget,
136 exception_t invokeTCB_NotificationControl(tcb_t *tcb, notification_t *ntfnPtr);
141 exception_t lookupExtraCaps(tcb_t* thread, word_t *bufferPtr, seL4_MessageInfo_t info);
144 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src,