Searched refs:FORCE_INLINE (Results 1 – 13 of 13) sorted by relevance
| /seL4-master/include/smp/ |
| A D | lock.h | 55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu) in clh_is_ipi_pending()
93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) in clh_lock_acquire()
123 static inline void FORCE_INLINE clh_lock_release(word_t cpu) in clh_lock_release()
133 static inline bool_t FORCE_INLINE clh_is_self_in_queue(void) in clh_is_self_in_queue()
|
| /seL4-master/include/arch/x86/arch/32/mode/ |
| A D | machine.h | 122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) in x86_write_fs_base_impl()
136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
150 static inline word_t FORCE_INLINE x86_read_fs_base_impl(void) in x86_read_fs_base_impl()
159 static inline word_t FORCE_INLINE x86_read_gs_base_impl(void) in x86_read_gs_base_impl()
|
| /seL4-master/include/arch/arm/arch/64/mode/fastpath/ |
| 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_… in fastpath_restore()
|
| /seL4-master/include/arch/x86/arch/32/mode/fastpath/ |
| A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw… in switchToThread_fp()
93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/arm/arch/32/mode/fastpath/ |
| A D | fastpath.h | 43 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pde_t *cap_pd, pde_t stored_hw_asi… in switchToThread_fp()
115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/riscv/arch/fastpath/ |
| A D | fastpath.h | 39 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) in switchToThread_fp()
97 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/x86/arch/64/mode/fastpath/ |
| A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored… in switchToThread_fp()
122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/machine/ |
| A D | fpu.h | 34 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread) in lazyFPURestore()
|
| /seL4-master/include/arch/arm/armv/armv7-a/armv/ |
| A D | machine.h | 12 static inline void FORCE_INLINE wfi(void) in wfi()
|
| /seL4-master/include/arch/arm/armv/armv8-a/32/armv/ |
| A D | machine.h | 12 static inline void FORCE_INLINE wfi(void) in wfi()
|
| /seL4-master/include/fastpath/ |
| A D | fastpath.h | 10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr) in lookup_fp()
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 20 FORCE_INLINE
224 FORCE_INLINE
|
| /seL4-master/include/ |
| A D | util.h | 84 #define FORCE_INLINE __attribute__((always_inline)) macro
|
Completed in 17 milliseconds