Searched defs:cur_thread (Results 1 - 7 of 7) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/64/ |
| H A D | c_traps.c | 37 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
152 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/ |
| H A D | c_traps.c | 209 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-master/kernel/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 95 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
Completed in 47 milliseconds