| /seL4-master/include/machine/ |
| A D | fpu.h | 28 static inline bool_t nativeThreadUsingFPU(tcb_t *thread) in nativeThreadUsingFPU()
34 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread) in lazyFPURestore()
|
| A D | registerset.h | 29 static inline void setRegister(tcb_t *thread, register_t reg, word_t w) in setRegister()
34 static inline word_t PURE getRegister(tcb_t *thread, register_t reg) in getRegister()
|
| /seL4-master/src/object/ |
| A D | endpoint.c | 27 … bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) in sendIPC()
130 void receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCap) in receiveIPC()
284 void replyFromKernel_error(tcb_t *thread) in replyFromKernel_error()
305 void replyFromKernel_success_empty(tcb_t *thread) in replyFromKernel_success_empty()
388 tcb_t *thread = TCB_PTR(endpoint_ptr_get_epQueue_head(epptr)); in cancelAllIPC() local
439 tcb_t *thread, *next; in cancelBadgedSends() local
502 void reorderEP(endpoint_t *epptr, tcb_t *thread) in reorderEP()
|
| A D | notification.c | 196 void receiveSignal(tcb_t *thread, cap_t cap, bool_t isBlocking) in receiveSignal()
252 tcb_t *thread = TCB_PTR(notification_ptr_get_ntfnQueue_head(ntfnPtr)); in cancelAllSignals() local
365 void reorderNTFN(notification_t *ntfnPtr, tcb_t *thread) in reorderNTFN()
|
| A D | tcb.c | 384 exception_t lookupExtraCaps(tcb_t *thread, word_t *bufferPtr, seL4_MessageInfo_t info) in lookupExtraCaps()
479 static exception_t invokeTCB_SetAffinity(tcb_t *thread, word_t affinity) in invokeTCB_SetAffinity()
746 static exception_t invokeSetTLSBase(tcb_t *thread, word_t tls_base) in invokeSetTLSBase()
929 tcb_t *thread; in decodeReadRegisters() local
974 tcb_t *thread; in decodeWriteRegisters() local
1658 exception_t invokeTCB_Suspend(tcb_t *thread) in invokeTCB_Suspend()
1664 exception_t invokeTCB_Resume(tcb_t *thread) in invokeTCB_Resume()
1921 tcb_t *thread; in invokeTCB_ReadRegisters() local
2045 word_t setMRs_syscall_error(tcb_t *thread, word_t *receiveIPCBuffer) in setMRs_syscall_error()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | hardware.c | 12 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
17 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
|
| /seL4-master/include/kernel/ |
| A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) in isRunnable()
83 static inline bool_t PURE isBlocked(const tcb_t *thread) in isBlocked()
97 static inline bool_t PURE isStopped(const tcb_t *thread) in isStopped()
152 static inline bool_t PURE isSchedulable(const tcb_t *thread) in isSchedulable()
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo()
|
| /seL4-master/include/arch/arm/arch/32/mode/kernel/ |
| A D | thread.h | 37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo()
|
| /seL4-master/include/arch/arm/arch/64/mode/kernel/ |
| A D | thread.h | 28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo()
|
| /seL4-master/src/kernel/ |
| A D | cspace.c | 15 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr) in lookupCap()
32 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) in lookupCapAndSlot()
51 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr) in lookupSlot()
|
| A D | thread.c | 296 void doNBRecvFailedTransfer(tcb_t *thread) in doNBRecvFailedTransfer()
418 tcb_t *thread; in chooseThread() local
441 void switchToThread(tcb_t *thread) in switchToThread()
|
| /seL4-master/src/arch/arm/object/ |
| A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB()
|
| /seL4-master/include/64/mode/api/ |
| A D | ipc_buffer.h | 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
|
| /seL4-master/include/32/mode/api/ |
| A D | ipc_buffer.h | 18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 30 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
35 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
|
| /seL4-master/src/machine/ |
| A D | fpu.c | 61 void fpuThreadDelete(tcb_t *thread) in fpuThreadDelete()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 22 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
27 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
|
| /seL4-master/src/arch/x86/object/ |
| A D | tcb.c | 85 void Arch_migrateTCB(tcb_t *thread) in Arch_migrateTCB()
|
| /seL4-master/include/arch/x86/arch/32/mode/fastpath/ |
| A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw… in switchToThread_fp()
|
| /seL4-master/include/arch/arm/arch/64/mode/fastpath/ |
| A D | fastpath.h | 31 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) in switchToThread_fp()
|
| /seL4-master/include/arch/riscv/arch/fastpath/ |
| A D | fastpath.h | 39 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) in switchToThread_fp()
|
| /seL4-master/src/api/ |
| A D | syscall.c | 190 tcb_t *thread = NODE_STATE(ksCurThread); in handleUnknownSyscall() local
372 tcb_t *thread; in handleInvocation() local
|