| /seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/kernel/ |
| H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/src/machine/ |
| H A D | fpu.c | 61 void fpuThreadDelete(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/src/arch/riscv/object/ |
| H A D | tcb.c | 26 void Arch_migrateTCB(tcb_t *thread) argument
|
| H A D | objecttype.c | 305 void Arch_prepareThreadDelete(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/include/kernel/ |
| H A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) argument
[all...] |
| /seL4-l4v-master/seL4/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-l4v-master/seL4/src/arch/x86/object/ |
| H A D | tcb.c | 85 void Arch_migrateTCB(tcb_t *thread) argument
|
| H A D | objecttype.c | 543 void Arch_prepareThreadDelete(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/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
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/manual/parts/ |
| H A D | bootup.tex | [all...] |
| /seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
64 benchmark_utilisation_switch(NODE_STATE(ksCurThread), thread); local
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 43 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pde_t *cap_pd, pde_t stored_hw_asid) argument
54 benchmark_utilisation_switch(NODE_STATE(ksCurThread), thread); local
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/machine/ |
| H A D | fpu.h | 115 static inline bool_t vcpuThreadUsingFPU(tcb_t *thread) argument
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) argument
|