/seL4-test-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-test-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-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | threads.c | 24 helper_thread_t thread; local 43 helper_thread_t thread; local
|
H A D | domains.cxx | 84 helper_thread_t thread[CONFIG_NUM_DOMAINS]; local [all...] |
H A D | nbwait.c | 107 helper_thread_t thread; local
|
H A D | fpu.c | 97 helper_thread_t thread[NUM_THREADS]; local
|
H A D | regressions.c | 76 helper_thread_t thread; local 287 helper_thread_t thread; local 368 helper_thread_t thread; local [all...] |
/seL4-test-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-test-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-test-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-test-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-test-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-test-master/kernel/src/machine/ |
H A D | fpu.c | 61 void fpuThreadDelete(tcb_t *thread) argument
|
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_setname_np.c | 9 int pthread_setname_np(pthread_t thread, const char *name) argument
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-test-master/kernel/include/kernel/ |
H A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) argument [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.h | 45 sel4utils_thread_t thread; member in struct:helper_thread [all...] |
/seL4-test-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-test-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 85 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-test-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-test-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-test-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
|