Searched refs:FORCE_INLINE (Results 1 - 14 of 14) sorted by relevance
| /seL4-test-master/kernel/include/smp/ |
| H A D | lock.h | 55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu)
93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath)
123 static inline void FORCE_INLINE clh_lock_release(word_t cpu)
133 static inline bool_t FORCE_INLINE clh_is_self_in_queue(void)
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | machine.h | 11 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
12 static inline void FORCE_INLINE wfi(void)
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | machine.h | 11 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
12 static inline void FORCE_INLINE wfi(void)
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | machine.h | 11 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
12 static inline void FORCE_INLINE wfi(void)
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base)
136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base)
150 static inline word_t FORCE_INLINE x86_read_fs_base_impl(void)
159 static inline word_t FORCE_INLINE x86_read_gs_base_impl(void)
|
| /seL4-test-master/kernel/include/machine/ |
| H A D | fpu.h | 34 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread)
|
| /seL4-test-master/kernel/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)
115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 30 static inline void FORCE_INLINE
99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
| /seL4-test-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)
93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
| /seL4-test-master/kernel/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)
122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
| /seL4-test-master/kernel/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)
95 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
| /seL4-test-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr)
|
| /seL4-test-master/kernel/include/ |
| H A D | util.h | 45 #define FORCE_INLINE __attribute__((always_inline)) macro
|
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 21 FORCE_INLINE
227 FORCE_INLINE
|
Completed in 110 milliseconds