/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/machine/ |
H A D | fpu.h | 28 static inline bool_t nativeThreadUsingFPU(tcb_t *thread) argument 34 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread) argument
|
H A D | registerset.h | 29 static inline void setRegister(tcb_t *thread, register_t reg, word_t w) argument 34 static inline word_t PURE getRegister(tcb_t *thread, register_t reg) argument
|
/seL4-refos-master/kernel/include/32/mode/api/ |
H A D | ipc_buffer.h | 18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/64/mode/api/ |
H A D | ipc_buffer.h | 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | thread.h | 37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | thread.h | 28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | hardware.c | 12 word_t PURE getRestartPC(tcb_t *thread) argument 17 void setNextPC(tcb_t *thread, word_t v) argument
|
/seL4-refos-master/kernel/src/machine/ |
H A D | fpu.c | 61 void fpuThreadDelete(tcb_t *thread) argument
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | thread.h | 46 thread_tcb_obj(struct proc_tcb *thread) argument [all...] |
H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument 54 thread_start(struct proc_tcb *thread, void *arg0, void *arg1) argument 82 thread_release(struct proc_tcb *thread) argument [all...] |
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | thread.h | 46 thread_tcb_obj(struct proc_tcb *thread) argument [all...] |
H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument 54 thread_start(struct proc_tcb *thread, void *arg0, void *arg1) argument 82 thread_release(struct proc_tcb *thread) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_setname_np.c | 9 int pthread_setname_np(pthread_t thread, const char *name) argument
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-refos-master/kernel/include/kernel/ |
H A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) argument [all...] |
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 30 word_t PURE getRestartPC(tcb_t *thread) argument 35 void setNextPC(tcb_t *thread, word_t v) argument
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 85 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | thread.h | 56 sel4utils_thread_t *thread; member in struct:sel4utils_checkpoint 225 sel4utils_get_tcb(sel4utils_thread_t *thread) argument 230 sel4utils_suspend_thread(sel4utils_thread_t *thread) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread.h | 56 sel4utils_thread_t *thread; member in struct:sel4utils_checkpoint 225 sel4utils_get_tcb(sel4utils_thread_t *thread) argument 230 sel4utils_suspend_thread(sel4utils_thread_t *thread) argument [all...] |
/seL4-refos-master/kernel/src/kernel/ |
H A D | cspace.c | 15 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr) argument 32 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) argument 51 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr) argument
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
H A D | fastpath.h | 31 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument 42 benchmark_utilisation_switch(NODE_STATE(ksCurThread), thread); local
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid) argument 47 benchmark_utilisation_switch(NODE_STATE(ksCurThread), thread); local
|