/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | waittypes.h | 10 struct bmk_thread *thread; member in struct:wait_queue
|
H A D | wait.h | 24 static inline void minios_init_waitqueue_entry(struct wait_queue *q, struct bmk_thread *thread) argument
|
/seL4-camkes-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-camkes-master/kernel/src/machine/ |
H A D | fpu.c | 61 void fpuThreadDelete(tcb_t *thread) argument
|
/seL4-camkes-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-camkes-master/kernel/src/arch/arm/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) argument [all...] |
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/earm/ |
H A D | cpu_sched.c | 52 bmk_cpu_sched_create(struct bmk_thread *thread, struct bmk_tcb *tcb, argument
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86/ |
H A D | cpu_sched.c | 52 bmk_cpu_sched_create(struct bmk_thread *thread, struct bmk_tcb *tcb, argument
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_posix.c | 91 pthread_t *thread; local
|
/seL4-camkes-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-camkes-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 85 void Arch_migrateTCB(tcb_t *thread) argument
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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
|